{"push_id":649129008,"size":1,"distinct_size":1,"ref":"refs/heads/patch-3","head":"d884d997413df3fa0271b73d048836612d190639","before":"3acb910d087d3345a6c69ffce77c8967350da1f1","commits":[{"sha":"d884d997413df3fa0271b73d048836612d190639","author":{"email":"2e8aa918660411855c6d44d5bb2da677aa033255@users.noreply.github.com","name":"Nathan Dinsmore"},"message":"Fix formatting in docs/tutorial/classes.rst","distinct":true,"url":"https://api.github.com/repos/nathan/Idris-dev/commits/d884d997413df3fa0271b73d048836612d190639"}]}