{"push_id":1289261303,"size":7,"distinct_size":7,"ref":"refs/heads/update-ide-protocol-doc","head":"eaa3adb28e30bd325b99eb46c1993dc14c3a99ac","before":"bfdb4d3e55d26dea2011948aaf6ef843e647ae0a","commits":[{"sha":"166760f3cccfcc03e42888fa2086be3983b0242b","author":{"name":"Steven Shaw","email":"1745667f465f588877e987cca116e0aa57a977ec@steshaw.org"},"message":"Use System.FilePath.searchPathSeparator.","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/166760f3cccfcc03e42888fa2086be3983b0242b"},{"sha":"8b659b7862beb497e770683e81a5ee3611d33fbc","author":{"name":"Niklas Larsson","email":"f00ad0a60710e0eb5b699b4c9fdbf02e147c6c43@gmail.com"},"message":"Merge pull request #3409 from steshaw/use-search-path-separator\n\nUse System.FilePath.searchPathSeparator for $PATH","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/8b659b7862beb497e770683e81a5ee3611d33fbc"},{"sha":"44315139f74caa2a6a1039a2a49b05f717c6bb92","author":{"name":"Steven Shaw","email":"1745667f465f588877e987cca116e0aa57a977ec@steshaw.org"},"message":"Refactor `main/Main.hs`.\n\n- Add some clarity.\n- Remove duplication.","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/44315139f74caa2a6a1039a2a49b05f717c6bb92"},{"sha":"6f9f55d1958472b4c8c1f6f48968319d1931752a","author":{"name":"Niklas Larsson","email":"407b5ecd7b3f53bb1cca7f5fca9c7d6c46ab5b13@mm.st"},"message":"Use synchronous writes in node runtime.\n\nFixes #3408","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/6f9f55d1958472b4c8c1f6f48968319d1931752a"},{"sha":"eab81ec2f2ad04de832518c08cf46c9682d54e61","author":{"name":"Niklas Larsson","email":"f00ad0a60710e0eb5b699b4c9fdbf02e147c6c43@gmail.com"},"message":"Merge pull request #3413 from melted/node_writesync\n\nUse synchronous writes in node runtime.","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/eab81ec2f2ad04de832518c08cf46c9682d54e61"},{"sha":"2f7a893ea7f02bea53115c3bdf74f97aa7fa1142","author":{"name":"Jan de Muijnck-Hughes","email":"b12f6d4f6f80d7d34658089661e60ffcdb5bab59@users.noreply.github.com"},"message":"Merge pull request #3411 from steshaw/refactor-main\n\nRefactor `main/Main.hs`","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/2f7a893ea7f02bea53115c3bdf74f97aa7fa1142"},{"sha":"eaa3adb28e30bd325b99eb46c1993dc14c3a99ac","author":{"name":"zjhmale","email":"918c784cd143529302534bc9fbf8ac1e5a238135@gmail.com"},"message":"add version command to docs","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/eaa3adb28e30bd325b99eb46c1993dc14c3a99ac"}]}
{"actor":{"display_login":"zjhmale"}}