{"push_id":1135599570,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"35041fb0949304dcdb6d82687adbaa71bf8224ab","before":"5087ec788016b719b4038be08cd55bccc22b3619","commits":[{"sha":"acaf3211a58d33af44a1b8f87c2bc83fb33aa068","author":{"name":"François Pottier","email":"fa331b1a4cc4377cb0337a718880616b4c71bcba@inria.fr"},"message":"Fixed a comment.","distinct":true,"url":"https://api.github.com/repos/didickman/CompCert/commits/acaf3211a58d33af44a1b8f87c2bc83fb33aa068"},{"sha":"bd5bcadf414af27ef7b7030b0b71fc508bc83573","author":{"name":"Bernhard Schommer","email":"c17a499aa0b483d2d1179753533870f5a53e6ac4@users.noreply.github.com"},"message":"Merge pull request #101 from fpottier/comment\n\nFixed a comment.","distinct":true,"url":"https://api.github.com/repos/didickman/CompCert/commits/bd5bcadf414af27ef7b7030b0b71fc508bc83573"},{"sha":"35041fb0949304dcdb6d82687adbaa71bf8224ab","author":{"name":"Bernhard Schommer","email":"c1f900ab5f98bd18adc7d94214a841db5d0a0224@gmail.com"},"message":"Fixed warning 45 for ExportClight.ml.","distinct":true,"url":"https://api.github.com/repos/didickman/CompCert/commits/35041fb0949304dcdb6d82687adbaa71bf8224ab"}]}
{"actor":{"display_login":"didickman"}}