{"push_id":1110888858,"size":2,"distinct_size":2,"ref":"refs/heads/concreterules","head":"adc8e293dff858f26b07ca920a9286af778b5ea4","before":"2764f9072ae423347ebaf36eb76badafe6e52a97","commits":[{"sha":"1d46f0f4c4a99e4204716c9e352c2d63706fb49a","author":{"email":"764c67ea0983b461d04a93164d9681c6cd8525f9@andrew.cmu.edu","name":"Ian Ernest Voysey"},"message":"more pushing around files","distinct":true,"url":"https://api.github.com/repos/hazelgrove/agda-tfp16/commits/1d46f0f4c4a99e4204716c9e352c2d63706fb49a"},{"sha":"adc8e293dff858f26b07ca920a9286af778b5ea4","author":{"email":"764c67ea0983b461d04a93164d9681c6cd8525f9@andrew.cmu.edu","name":"Ian Ernest Voysey"},"message":"a few cases","distinct":true,"url":"https://api.github.com/repos/hazelgrove/agda-tfp16/commits/adc8e293dff858f26b07ca920a9286af778b5ea4"}]}