{"push_id":1437502241,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"2fa90cfa81811e18f2c5e18a1a0887d5c3fb689e","before":"bbd17b09558a97e2bb4e20a478992c174d02292b","commits":[{"sha":"2fa90cfa81811e18f2c5e18a1a0887d5c3fb689e","author":{"name":"nmegill","email":"22045716eebdf63edb645da8b757687137dffbf9@alum.mit.edu"},"message":"fix unnecessary dv restriction in hbmpt2","distinct":true,"url":"https://api.github.com/repos/metamath/set.mm/commits/2fa90cfa81811e18f2c5e18a1a0887d5c3fb689e"}]}
{"actor":{"display_login":"nmegill"}}