{"push_id":1323317523,"size":1,"distinct_size":1,"ref":"refs/heads/install-doc-files","head":"b19ec68bdf99650bf5cd399acadac12ddd2c8694","before":"b949b2846691ef82e679f346a08b78b6af609772","commits":[{"sha":"b19ec68bdf99650bf5cd399acadac12ddd2c8694","author":{"name":"Jan de Muijnck-Hughes","email":"b12f6d4f6f80d7d34658089661e60ffcdb5bab59@st-andrews.ac.uk"},"message":"Amended docs and updated CHANGELOG.","distinct":true,"url":"https://api.github.com/repos/jfdm/Idris-dev/commits/b19ec68bdf99650bf5cd399acadac12ddd2c8694"}]}
{"actor":{"display_login":"jfdm"}}