{"push_id":1929754955,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f2fe8f16703cca64d687784f1ca6b7fc4549cd43","before":"63c028cb7b746588d227970f7378949a4c0e1395","commits":[{"sha":"f2fe8f16703cca64d687784f1ca6b7fc4549cd43","author":{"name":"Anthony Bordg","email":"840d8e2bb4a0577a374002dd5130aec23eb64293@gmail.com"},"message":"Update Modules.v\n\nThis commit addresses Dan's last comments.","distinct":true,"url":"https://api.github.com/repos/AnthonyBordg/UniMath/commits/f2fe8f16703cca64d687784f1ca6b7fc4549cd43"}]}
{"actor":{"display_login":"AnthonyBordg"}}