{"push_id":589687379,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"0d252ac12dd7f18a5207bae3974295753cc8fa0a","before":"a8ff5a3820f8497f3fbc373b8682da657133cf08","commits":[{"sha":"0d252ac12dd7f18a5207bae3974295753cc8fa0a","author":{"email":"d817672d0008a9fffbf1e0590e5df7f17ec51887@314.ch","name":"Philipp Hausmann"},"message":"Add Readme","distinct":true,"url":"https://api.github.com/repos/phile314/agda-compiler-tests/commits/0d252ac12dd7f18a5207bae3974295753cc8fa0a"}]}