{"push_id":1837718478,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"cad3a6c29660f272e61ffb68c0694ee3ed8fef2c","before":"12ed1deb3ed24e53c7773030450379d32f37517e","commits":[{"sha":"cad3a6c29660f272e61ffb68c0694ee3ed8fef2c","author":{"name":"Vikraman Choudhury","email":"5bf00c93c9250d44d769b81890fa6584403ae7e0@vikraman.org"},"message":"Port VerifiedAbelianMonoid proofs to PBE","distinct":true,"url":"https://api.github.com/repos/iu-parfunc/verified-instances/commits/cad3a6c29660f272e61ffb68c0694ee3ed8fef2c"}]}
{"actor":{"display_login":"vikraman"}}