{"push_id":610405118,"size":1,"distinct_size":1,"ref":"refs/heads/uhc-backend","head":"c1c83c3833d78cec40eed0ab6d3be00c80552e73","before":"4344da8406f7f88faa8117c7fcafd293b8594920","commits":[{"sha":"c1c83c3833d78cec40eed0ab6d3be00c80552e73","author":{"email":"d817672d0008a9fffbf1e0590e5df7f17ec51887@314.ch","name":"Philipp Hausmann"},"message":"Don't store agda interface version explicitly","distinct":true,"url":"https://api.github.com/repos/phile314/agda/commits/c1c83c3833d78cec40eed0ab6d3be00c80552e73"}]}