{"push_id":2880226739,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"357a5c16c7edf99918e82af7ff81e5014ee36df0","before":"02dedb831e31deee106b5910384b1ff52722a542","commits":[{"sha":"357a5c16c7edf99918e82af7ff81e5014ee36df0","author":{"name":"Valery Isaev","email":"0094aa2bb89c3646077eb6cec15d9e39da06caed@jetbrains.com"},"message":"Prove adjoint functor theorems","distinct":true,"url":"https://api.github.com/repos/valis/hott-doc/commits/357a5c16c7edf99918e82af7ff81e5014ee36df0"}]}
{"actor":{"display_login":"valis"}}