{"push_id":2779541833,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"57b4177ce9131a32e394e12cd045f2f79c17435a","before":"04e01bccc3edc3402b9fa9d0ac7562eddd9d0706","commits":[{"sha":"57b4177ce9131a32e394e12cd045f2f79c17435a","author":{"name":"Samuel Gruetter","email":"f282ad438ecadc93e62523946ab50d77b680b96f@epfl.ch"},"message":"replace MachineWidth constants by ZToReg","distinct":true,"url":"https://api.github.com/repos/mit-plv/riscv-coq/commits/57b4177ce9131a32e394e12cd045f2f79c17435a"}]}
{"actor":{"display_login":"samuelgruetter"}}