{"push_id":1276085664,"size":1,"distinct_size":1,"ref":"refs/heads/conceptdiff","head":"320217f89fd9876fc88ab0901cf5264fbe8b8e9a","before":"25ff00858143cd4162cb4f727e59242dfa52712f","commits":[{"sha":"320217f89fd9876fc88ab0901cf5264fbe8b8e9a","author":{"name":"tomascus","email":"b0cff599882a46363bdb899e3ff57539d8ae85f1@gmail.com"},"message":"revert to base","distinct":true,"url":"https://api.github.com/repos/tunturn/Z3kernel/commits/320217f89fd9876fc88ab0901cf5264fbe8b8e9a"}]}
{"actor":{"display_login":"tunturn"}}