{"push_id":1160067255,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"17bcc9f55233b55cd43d1cdffca845f6778a5671","before":"d5d2c97b25a6bc5766276ecc97cfa0eed57856eb","commits":[{"sha":"17bcc9f55233b55cd43d1cdffca845f6778a5671","author":{"name":"zraffer","email":"458dbfc408f614c8b203da13f4f147dee917ce50@gmail.com"},"message":"refactor Setoids to drop `.Ok`, `.Refl`, `.Cong`, `.Sym`","distinct":true,"url":"https://api.github.com/repos/groupoid/exe/commits/17bcc9f55233b55cd43d1cdffca845f6778a5671"}]}
{"actor":{"display_login":"zraffer"}}