{"push_id":1435982690,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"f75691498db8679eaf150564b2d5ab706ecf71b2","before":"5c0ce69104fad7742bb3c0c8edc52ba6cc15dbb6","commits":[{"sha":"9c51faadfe44d4950137348958e7a62c9fd7d038","author":{"name":"Taichi Uemura","email":"d02ff88bea5f89340bbe451584d89fc29ddded8a@gmail.com"},"message":"minor update","distinct":true,"url":"https://api.github.com/repos/uemurax/fibred-fibration-categories/commits/9c51faadfe44d4950137348958e7a62c9fd7d038"},{"sha":"f75691498db8679eaf150564b2d5ab706ecf71b2","author":{"name":"Taichi Uemura","email":"d02ff88bea5f89340bbe451584d89fc29ddded8a@gmail.com"},"message":"unicity -> homotopy unicity","distinct":true,"url":"https://api.github.com/repos/uemurax/fibred-fibration-categories/commits/f75691498db8679eaf150564b2d5ab706ecf71b2"}]}
{"actor":{"display_login":"uemurax"}}