{"push_id":755052702,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"69bd8f32b3470c95e82e6e9c889ddf9731929964","before":"a5b9a59d8f2d1cd89533ae03b3928e81f133e2b3","commits":[{"sha":"69bd8f32b3470c95e82e6e9c889ddf9731929964","author":{"email":"31ed6b5f3c097ca8237aeecd8f13e70f536d6afb@Markos-MacBook-Pro-2.local","name":"Marko Koleznik"},"message":"Parser fixed when agda gave action inside quotes","distinct":true,"url":"https://api.github.com/repos/markokoleznik/agda-writer/commits/69bd8f32b3470c95e82e6e9c889ddf9731929964"}]}