{"push_id":631599847,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ac330e98bbad19bbc3a9710a8179d71dfd3e6257","before":"4d9e3c285bdc03ac97634122354a202ea8a60beb","commits":[{"sha":"ac330e98bbad19bbc3a9710a8179d71dfd3e6257","author":{"email":"b0e1ab679ae83ee9ff3d9122668a213a483a130d@gmail.com","name":"Nicolas Pouillard"},"message":"More .dockerignore patterns","distinct":true,"url":"https://api.github.com/repos/crypto-agda/crypto-agda/commits/ac330e98bbad19bbc3a9710a8179d71dfd3e6257"}]}