{"push_id":2460764376,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"569331f6a085342b5d5c017ba948ddd9ddbb6474","before":"d423c3179204a56eeb767c7d01af016842a91827","commits":[{"sha":"569331f6a085342b5d5c017ba948ddd9ddbb6474","author":{"name":"tomj","email":"41fb30403ed813b267ad3dcf83c9be9d13df9a21@gmail.com"},"message":"Use Record of 'Position := Position as the annotation type for the parser, as a starting point for enhancing annotations","distinct":true,"url":"https://api.github.com/repos/writeoncereadmany/minima-idris/commits/569331f6a085342b5d5c017ba948ddd9ddbb6474"}]}
{"actor":{"display_login":"writeoncereadmany"}}