{"push_id":719503269,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"06df4ec1e171c9a4c3e45579f24d3b601b7cda02","before":"fd80612efc2609b466111ebef1858511792faf74","commits":[{"sha":"fb3d1a8c63fd3f022de227dd05b93f996e99ca4b","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Bracket new directory operations in messages\n\nWhen changing directories while building an .ipkg file, track the\ncurrent directory with \"Entering\" and \"Leaving\" messages. This does the\nsame thing as recursive Makefile instantiations, and allows tools that\nrely on that format to be able to parse Idris's output.","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/fb3d1a8c63fd3f022de227dd05b93f996e99ca4b"},{"sha":"06df4ec1e171c9a4c3e45579f24d3b601b7cda02","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2402 from david-christiansen/entering-dir-message\n\nBracket new directory operations in messages","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/06df4ec1e171c9a4c3e45579f24d3b601b7cda02"}]}