{"push_id":857574938,"size":1,"distinct_size":1,"ref":"refs/heads/topic/rule","head":"c0359f056c017629fab046a143fc25251511a649","before":"8d85d9aeae46d1d28e3e9491937e3c416e4ea391","commits":[{"sha":"c0359f056c017629fab046a143fc25251511a649","author":{"email":"2134d707ddda05b61dba8753be81b2b86a9a1976@gmail.com","name":"fgwei"},"message":"modify cfg to handle emptylocation special case","distinct":true,"url":"https://api.github.com/repos/sireum/jawa/commits/c0359f056c017629fab046a143fc25251511a649"}]}