{"push_id":2105822826,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"3db46a0a30c4d4c543dfe3b8a55febf85fe39de6","before":"16fa4385c75155b57e575e6a576d6996ee4d9c08","commits":[{"sha":"62f8273cd09a56323652f336e2250dddb65dbebd","author":{"name":"Jan Bracker","email":"434777e4d2e30ccb98343446bfd03a3536c8d8c9@googlemail.com"},"message":"Derivation of indexed monad from atkeys parameterized monad","distinct":true,"url":"https://api.github.com/repos/jbracker/polymonad-proofs/commits/62f8273cd09a56323652f336e2250dddb65dbebd"},{"sha":"3db46a0a30c4d4c543dfe3b8a55febf85fe39de6","author":{"name":"Jan Bracker","email":"434777e4d2e30ccb98343446bfd03a3536c8d8c9@googlemail.com"},"message":"Remove old comments","distinct":true,"url":"https://api.github.com/repos/jbracker/polymonad-proofs/commits/3db46a0a30c4d4c543dfe3b8a55febf85fe39de6"}]}
{"actor":{"display_login":"jbracker"}}