{"push_id":3039992779,"size":1,"distinct_size":1,"ref":"refs/heads/nondet","head":"7df330f122f460d08fc2ad72f89aea4b82c2cb30","before":"1a918b8ae8e57e8b0ccf98d1cdf996e18829dc5b","commits":[{"sha":"7df330f122f460d08fc2ad72f89aea4b82c2cb30","author":{"name":"Samuel Gruetter","email":"f282ad438ecadc93e62523946ab50d77b680b96f@epfl.ch"},"message":"add \"with\" setters","distinct":true,"url":"https://api.github.com/repos/mit-plv/riscv-coq/commits/7df330f122f460d08fc2ad72f89aea4b82c2cb30"}]}
{"actor":{"display_login":"samuelgruetter"}}