{"push_id":627722160,"size":1,"distinct_size":1,"ref":"refs/heads/travis-2build","head":"5e58ef798ab2fc25191a7155c0dbb40c0bb14b25","before":"35f2a11fac506d8113ebc66f5d7443391f064f38","commits":[{"sha":"5e58ef798ab2fc25191a7155c0dbb40c0bb14b25","author":{"email":"d817672d0008a9fffbf1e0590e5df7f17ec51887@314.ch","name":"Philipp Hausmann"},"message":"Add missing builddir","distinct":true,"url":"https://api.github.com/repos/phile314/agda/commits/5e58ef798ab2fc25191a7155c0dbb40c0bb14b25"}]}