{"push_id":1210422241,"size":10,"distinct_size":10,"ref":"refs/heads/stable-2.5","head":"2660b2098227557d827ef1f86f167e30d8b37e86","before":"0572861debf465f546c21745c0cc4d0dd0cd0145","commits":[{"sha":"56c804c51a22de785c6465a66564f4b363e99118","author":{"name":"Fredrik Nordvall Forsberg","email":"2d7b6a877996e605413791c0d18ee8c1e285f06a@strath.ac.uk"},"message":"Add warnings machinery\n\nmachinery for non-fatal errors that will be displayed in a separate\nemacs window, but not interrupt typechecking.\n\nCurrently termination errors, unsolved metas and unsolved constraints\nare non-fatal.\n\nDeveloped together with Guillaume Allais.","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/56c804c51a22de785c6465a66564f4b363e99118"},{"sha":"b3d6d4dca959bc228f5a00c28752c344f303432e","author":{"name":"Fredrik Nordvall Forsberg","email":"2d7b6a877996e605413791c0d18ee8c1e285f06a@strath.ac.uk"},"message":"make positivity errors non-fatal, and highlight them\n\nDeveloped together with Guillaume Allais.","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/b3d6d4dca959bc228f5a00c28752c344f303432e"},{"sha":"47d2d46b5300e9252f0df7fcd0b38760c6c059c2","author":{"name":"Fredrik Nordvall Forsberg","email":"2d7b6a877996e605413791c0d18ee8c1e285f06a@strath.ac.uk"},"message":"update test output for warnings\n\nalso update some test agda files: in some cases, a hard error now\nturned into a soft warning masked the fact that a later definition\ndidn't typecheck.","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/47d2d46b5300e9252f0df7fcd0b38760c6c059c2"},{"sha":"64d916548c1a8191691826813c85da7a11df5013","author":{"name":"Fredrik Nordvall Forsberg","email":"2d7b6a877996e605413791c0d18ee8c1e285f06a@strath.ac.uk"},"message":"restore old error message behaviour for test Fail/Issue1296","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/64d916548c1a8191691826813c85da7a11df5013"},{"sha":"e4e0d9aab75ca64f4a13e00f8b65becb1b400e56","author":{"name":"Fredrik Nordvall Forsberg","email":"2d7b6a877996e605413791c0d18ee8c1e285f06a@strath.ac.uk"},"message":"try to fix build problem (\"No instance for (PrettyTCM OccursWhere)\" on 8.0.1","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/e4e0d9aab75ca64f4a13e00f8b65becb1b400e56"},{"sha":"fbd03cace5425be2448676b7c4358243d27fc327","author":{"name":"Fredrik Nordvall Forsberg","email":"2d7b6a877996e605413791c0d18ee8c1e285f06a@strath.ac.uk"},"message":"Merge remote-tracking branch 'upstream/stable-2.5' into stable-2.5","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/fbd03cace5425be2448676b7c4358243d27fc327"},{"sha":"ed8c42fea7d1bf606965dc960c887d6ae1069bad","author":{"name":"Fredrik Nordvall Forsberg","email":"2d7b6a877996e605413791c0d18ee8c1e285f06a@strath.ac.uk"},"message":"got rid of a hs-boot file by moving OccursWhere and Where to TC.Positivity.Occurrence","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/ed8c42fea7d1bf606965dc960c887d6ae1069bad"},{"sha":"f1abac82a9dfe2fee88615907e5e74bb8ead0058","author":{"name":"gallais","email":"6001b7cefb076f0c2bb2a71e2b3f6cdcbfdeec2e@ens-lyon.org"},"message":"Merge branch 'stable-2.5' of github.com:agda/agda into stable-2.5\n\nConflicts:\n\tsrc/full/Agda/Interaction/Imports.hs\n\ttest/interaction/Issue2028.out","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/f1abac82a9dfe2fee88615907e5e74bb8ead0058"},{"sha":"f58fc326b288d1bc43dabcdce74f42f41c62f86b","author":{"name":"gallais","email":"6001b7cefb076f0c2bb2a71e2b3f6cdcbfdeec2e@ens-lyon.org"},"message":"[ fix ] Make Agda compile again","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/f58fc326b288d1bc43dabcdce74f42f41c62f86b"},{"sha":"2660b2098227557d827ef1f86f167e30d8b37e86","author":{"name":"Andreas Abel","email":"ec9f38e26707ed5bb9aa5946fc3b7450c467d766@ifi.lmu.de"},"message":"Merge pull request #2091 from fredrikNordvallForsberg/stable-2.5\n\nWarning system","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/2660b2098227557d827ef1f86f167e30d8b37e86"}]}
{"actor":{"display_login":"andreasabel"}}