{"push_id":1837856060,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"bef3aebec0026994bcdc9360d4fa68b4078b99a3","before":"d126c997db0b6ecb297960c83e7741f5d668fd6a","commits":[{"sha":"4fd3178cb7405995497b094c4b12bacdde3f6503","author":{"name":"John Wiegley","email":"ca16b76cdbb5159a7ff2afa262d03c56ad5e7d6e@newartisans.com"},"message":"Handle True and False in MapDecide.v","distinct":true,"url":"https://api.github.com/repos/jwiegley/category-theory/commits/4fd3178cb7405995497b094c4b12bacdde3f6503"},{"sha":"bef3aebec0026994bcdc9360d4fa68b4078b99a3","author":{"name":"John Wiegley","email":"ca16b76cdbb5159a7ff2afa262d03c56ad5e7d6e@newartisans.com"},"message":"Use map_decide in ArrowsOnly.v","distinct":true,"url":"https://api.github.com/repos/jwiegley/category-theory/commits/bef3aebec0026994bcdc9360d4fa68b4078b99a3"}]}
{"actor":{"display_login":"jwiegley"}}