{"push_id":1192199335,"size":1,"distinct_size":1,"ref":"refs/heads/v8.5","head":"32d0b35f17c726e1d5c62aafb19fc8c6f5a7f376","before":"41384177e941183934aae1970724d516807e01c7","commits":[{"sha":"32d0b35f17c726e1d5c62aafb19fc8c6f5a7f376","author":{"name":"Matej Kosik","email":"35192e8a4ec24deb3072e12309ce6c365c106aac@gmail.com"},"message":"fixing the \"install\" target","distinct":true,"url":"https://api.github.com/repos/coq-contribs/intuitionistic-nuprl/commits/32d0b35f17c726e1d5c62aafb19fc8c6f5a7f376"}]}
{"actor":{"display_login":"matej-kosik"}}