{"push_id":635108166,"size":2,"distinct_size":2,"ref":"refs/heads/maint-2.4.2","head":"8295302cb7adfb68ac175f984f8f4013c556503c","before":"370e43ba5c3bc00b130ba5989dc9b3f2dfe61491","commits":[{"sha":"85b59e1b1a2fca86c8fd34202a912e1310f76589","author":{"email":"d817672d0008a9fffbf1e0590e5df7f17ec51887@314.ch","name":"Philipp Hausmann"},"message":"[ travis ] Set builddir everywhere explicitly.","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/85b59e1b1a2fca86c8fd34202a912e1310f76589"},{"sha":"8295302cb7adfb68ac175f984f8f4013c556503c","author":{"email":"d817672d0008a9fffbf1e0590e5df7f17ec51887@314.ch","name":"Philipp Hausmann"},"message":"[ travis ] Remove travis_wait and explain why configure flags/builddir have to be consistent.\n\nSee also commit ccdc6596d20fedfad2598c77c0fc080b4e15c391 and pull request #36 .","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/8295302cb7adfb68ac175f984f8f4013c556503c"}]}