{"push_id":1161010917,"size":1,"distinct_size":1,"ref":"refs/heads/newlocations","head":"c0c0220a2d73c99d45a5e2b57078f2eff7b7ce40","before":"586b6c83154d81a3afdff9914aa366ffafe95024","commits":[{"sha":"c0c0220a2d73c99d45a5e2b57078f2eff7b7ce40","author":{"name":"Maxime Dénès","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@maximedenes.fr"},"message":"Add line number and beginning of line position to locations.\n\nCoq locations already had support for this, but were containing dummy\ninformation. We now don't need anymore to reconstruct this information by\nbrowsing the file when printing an error message.","distinct":true,"url":"https://api.github.com/repos/maximedenes/coq/commits/c0c0220a2d73c99d45a5e2b57078f2eff7b7ce40"}]}
{"actor":{"display_login":"maximedenes"}}