{"push_id":680235861,"size":1,"distinct_size":1,"ref":"refs/heads/doc/lang-reference-update","head":"4bac087a66144753aebaafac9ea570f5a07c7cfa","before":"c8f18ca01fcf6404ff7261508bce8976d81cc877","commits":[{"sha":"4bac087a66144753aebaafac9ea570f5a07c7cfa","author":{"email":"a4eaabc11dc4833f27bedf2b299f4f614ec4575f@st-andrews.ac.uk","name":"Jan de Muijnck-Hughes"},"message":"Added details of the compilation and logging process.","distinct":true,"url":"https://api.github.com/repos/jfdm/Idris-dev/commits/4bac087a66144753aebaafac9ea570f5a07c7cfa"}]}