{"push_id":719303747,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"74b4a3d294f32dde2034415c7cf35ae3a51a9027","before":"5c9ef4e796ae0aa9342d6b6f6bbf35f0f19e1f72","commits":[{"sha":"74b4a3d294f32dde2034415c7cf35ae3a51a9027","author":{"email":"56b2dc229a63dd91427fe4b7feb7cf6dd9e3e1f8@gmail.com","name":"Vincenzo Ciancia"},"message":"Node ids can be arbitrary strings in graphs now.","distinct":true,"url":"https://api.github.com/repos/vincenzoml/topochecker/commits/74b4a3d294f32dde2034415c7cf35ae3a51a9027"}]}