{"push_id":846846821,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"0ee7894e25fd87f2a3dbe8f0fbf5ef18265fa232","before":"ad864180e8c5991b7791edb1550e7c91d3ee33a5","commits":[{"sha":"0ee7894e25fd87f2a3dbe8f0fbf5ef18265fa232","author":{"email":"c196788190142e76a44a57f0bfbceac1d9a2fe54@springer-sbm.com","name":"Felix Dilke"},"message":"more code for topos of automorphisms","distinct":true,"url":"https://api.github.com/repos/fdilke/bewl/commits/0ee7894e25fd87f2a3dbe8f0fbf5ef18265fa232"}]}