{"push_id":745983949,"size":1,"distinct_size":1,"ref":"refs/heads/marked-graphs","head":"546e0ddd040073291cff9e5ed4bcfe68dbada893","before":"6c605604e88bac6236c0c6b4eb903f2d0a7e4e62","commits":[{"sha":"546e0ddd040073291cff9e5ed4bcfe68dbada893","author":{"email":"ace34f3b6796093fb8d762484f66c9f69a7f1bb5@gmail.com","name":"Ricardo Honorato-Zimmer"},"message":"fixed gitignore","distinct":true,"url":"https://api.github.com/repos/rhz/graph-rewriting/commits/546e0ddd040073291cff9e5ed4bcfe68dbada893"}]}