{"push_id":819951762,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8e12a69711fab1437d297d91a3dae5fed1bfbc76","before":"10562fefdb66c8a0451fce42e799f5b6db4e9f12","commits":[{"sha":"8e12a69711fab1437d297d91a3dae5fed1bfbc76","author":{"email":"3ee7db8148ab1f59afd5c81d77690acc3123e676@gmail.com","name":"Joel Burget"},"message":"Remove agda files.","distinct":true,"url":"https://api.github.com/repos/joelburget/pigment/commits/8e12a69711fab1437d297d91a3dae5fed1bfbc76"}]}