{"push_id":3268653218,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8a7f63b74d9e8ede700e5c3fe6f24acd23b498a9","before":"a2544f7e7f72c10130d56701a4c8df45fdeb8723","commits":[{"sha":"8a7f63b74d9e8ede700e5c3fe6f24acd23b498a9","author":{"name":"Fabian Zickgraf","email":"5d374b2423997d561e3c114eaf4ab370fb9f2a87@dashdos.com"},"message":"Add CircleCI","distinct":true,"url":"https://api.github.com/repos/homalg-project/Toposes/commits/8a7f63b74d9e8ede700e5c3fe6f24acd23b498a9"}]}
{"actor":{"display_login":"zickgraf"}}