{"push_id":675042290,"size":1,"distinct_size":1,"ref":"refs/heads/wip","head":"976b03f9cdd6538f866a8da12671dab87ceac65c","before":"b26e83ab2a15c47d69c073b4ccad5b88c7092864","commits":[{"sha":"976b03f9cdd6538f866a8da12671dab87ceac65c","author":{"email":"73be520f9292c229f3ce6400ad9e20f2693c368a@chalmers.se","name":"Anders"},"message":"start defining \"concrete\" presheaves","distinct":true,"url":"https://api.github.com/repos/mortberg/UniMath/commits/976b03f9cdd6538f866a8da12671dab87ceac65c"}]}