{"push_id":1292278262,"size":14,"distinct_size":14,"ref":"refs/heads/master","head":"0df127016ae10d3068c9d80cf4395c8ca01d5ce7","before":"72ab227d843acfc850e720f93c477332ff24117e","commits":[{"sha":"0945fbf7159f535601849d99150fdd7ebaeed3db","author":{"name":"Steven Shaw","email":"1745667f465f588877e987cca116e0aa57a977ec@steshaw.org"},"message":"Add note about Unicode operators to official FAQ","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/0945fbf7159f535601849d99150fdd7ebaeed3db"},{"sha":"eb9eabfc0d3e654c27757b98509c9bbefa91a7d8","author":{"name":"zjhmale","email":"918c784cd143529302534bc9fbf8ac1e5a238135@gmail.com"},"message":"add version command to docs","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/eb9eabfc0d3e654c27757b98509c9bbefa91a7d8"},{"sha":"bfc32ac10750d73f3aef31e5e4146e7866860205","author":{"name":"Echo Nolan","email":"8c46b4fd7d52ce170706429c419fb61e95849a74@echonolan.net"},"message":"Fix #3397 - ibcsubdir was broken","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/bfc32ac10750d73f3aef31e5e4146e7866860205"},{"sha":"55e72e46e60221978b6288db58f50e961fa4a31c","author":{"name":"Echo Nolan","email":"8c46b4fd7d52ce170706429c419fb61e95849a74@echonolan.net"},"message":"Add a test for #3397","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/55e72e46e60221978b6288db58f50e961fa4a31c"},{"sha":"893265894630ce9ce48c06b352cbd12713630045","author":{"name":"Jan de Muijnck-Hughes","email":"b12f6d4f6f80d7d34658089661e60ffcdb5bab59@st-andrews.ac.uk"},"message":"Install packages in sub-directory of Idris' data dir.","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/893265894630ce9ce48c06b352cbd12713630045"},{"sha":"f7222d37b1a931e065ee24cecc96b6df95d294a2","author":{"name":"Steven Shaw","email":"1745667f465f588877e987cca116e0aa57a977ec@steshaw.org"},"message":"Addressed the narrative point of view.","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/f7222d37b1a931e065ee24cecc96b6df95d294a2"},{"sha":"3ca2d2bf82bc73b952ae9e0bb818a427faff8f2b","author":{"name":"Jan de Muijnck-Hughes","email":"b12f6d4f6f80d7d34658089661e60ffcdb5bab59@users.noreply.github.com"},"message":"Merge pull request #3412 from steshaw/unicode-operators-faq\n\nAdd note about Unicode operators to official FAQ","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/3ca2d2bf82bc73b952ae9e0bb818a427faff8f2b"},{"sha":"6b90f7bc5c7cc93ec695163a562ed8251ec77a8b","author":{"name":"Jan de Muijnck-Hughes","email":"b12f6d4f6f80d7d34658089661e60ffcdb5bab59@users.noreply.github.com"},"message":"Merge pull request #3417 from enolan/3397\n\nFix #3397","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/6b90f7bc5c7cc93ec695163a562ed8251ec77a8b"},{"sha":"eb4f161e786dc06ec5df6ab4146fd8deae841cfe","author":{"name":"Anthony","email":"f0770a682d64f60ab9db8e923de5ebfb24a6e2d5@users.noreply.github.com"},"message":"Add scanl and scanl1 implementations to List (#3406)","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/eb4f161e786dc06ec5df6ab4146fd8deae841cfe"},{"sha":"425e3ee27cad902a5f87667549be5e4f7a454169","author":{"name":"Jan de Muijnck-Hughes","email":"b12f6d4f6f80d7d34658089661e60ffcdb5bab59@users.noreply.github.com"},"message":"Merge pull request #3416 from zjhmale/update-ide-protocol-doc\n\nadd version command to ide protocol docs","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/425e3ee27cad902a5f87667549be5e4f7a454169"},{"sha":"d5ec3d279f966ff963959171f3e5b7ca9ad7b3e8","author":{"name":"Jan de Muijnck-Hughes","email":"b12f6d4f6f80d7d34658089661e60ffcdb5bab59@users.noreply.github.com"},"message":"Merge pull request #3418 from jfdm/add-lib-to-libdir-path\n\nInstall packages in sub-directory of Idris' data dir.","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/d5ec3d279f966ff963959171f3e5b7ca9ad7b3e8"},{"sha":"566b6a04a2e34f3b9ffe7fdcbaab76c973880535","author":{"name":"Edwin Brady","email":"c928bc23af0546b9627da03f5800c450bd33bde7@st-andrews.ac.uk"},"message":"Fix performance regression in coverage checker\n\nWe need to be careful how many cases we generate or it can take a really\nlong time... so instead of generating lots of cases to deal with\nplaceholder patterns, merge existing patterns into them","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/566b6a04a2e34f3b9ffe7fdcbaab76c973880535"},{"sha":"a38b7de7a9e4f442ef3d5ceed58cd35fe5196d29","author":{"name":"Edwin Brady","email":"c928bc23af0546b9627da03f5800c450bd33bde7@st-andrews.ac.uk"},"message":"Fix minigmp assertion failure\n\nConstructing an integer from an empty string should give 0, rather than\na failure (this was a problem with minigmp only, not gmp)","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/a38b7de7a9e4f442ef3d5ceed58cd35fe5196d29"},{"sha":"0df127016ae10d3068c9d80cf4395c8ca01d5ce7","author":{"name":"(λ _ λ)","email":"918c784cd143529302534bc9fbf8ac1e5a238135@gmail.com"},"message":"Change Instance to implementation (#3404)\n\n* change instance to implementation in string literal\r\n\r\n* change instance to implementation in docs\r\n\r\n* replace code level instance symbol with implementation","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/0df127016ae10d3068c9d80cf4395c8ca01d5ce7"}]}
{"actor":{"display_login":"mpkh"}}