{"push_id":3017783695,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"830e4779ff21767f710078a5851feff28a875164","before":"07736124d19f090a6ef37e731f20507b0eac50a1","commits":[{"sha":"830e4779ff21767f710078a5851feff28a875164","author":{"name":"Hai Nguyen Van","email":"8302a53750c062120c1df6a5b92ee00ce2913847@lri.fr"},"message":"Added constant tag relation","distinct":true,"url":"https://api.github.com/repos/heron-solver/heron/commits/830e4779ff21767f710078a5851feff28a875164"}]}
{"actor":{"display_login":"EmptyStackExn"}}