{"push_id":1122914238,"size":29,"distinct_size":29,"ref":"refs/heads/master","head":"9409a9b0941db7fa5d93f17a32386a25fe5bbbe5","before":"2485e7866dc6df6f2d9abe16c33e3bba96f42012","commits":[{"sha":"338884fd3c9bc928936f8017dc7edb598e4f5451","author":{"email":"dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","name":"Andreas Abel"},"message":"Re #1974 refactor: use Set instead of list to avoid trivial instance duplicates.","distinct":true,"url":"https://api.github.com/repos/asr/eagda/commits/338884fd3c9bc928936f8017dc7edb598e4f5451"},{"sha":"b5934659f51b399b167e462d2e79d333ed9f2ea6","author":{"email":"dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","name":"Andreas Abel"},"message":"Re #1974 debug info.","distinct":true,"url":"https://api.github.com/repos/asr/eagda/commits/b5934659f51b399b167e462d2e79d333ed9f2ea6"},{"sha":"6a4f4713d10ac27fc576e3604fcdc38cad1bf610","author":{"email":"dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","name":"Andreas Abel"},"message":"Merge remote-tracking branch 'local-maint/stable-2.5'","distinct":true,"url":"https://api.github.com/repos/asr/eagda/commits/6a4f4713d10ac27fc576e3604fcdc38cad1bf610"},{"sha":"ec43b652dec03d904e1c3386b56a18c31d4acb11","author":{"email":"856ce7783382e01bc66e267580debe21c42c8efa@gmail.com","name":"Ulf Norell"},"message":"[ new ] lenses for TCEnv fields","distinct":true,"url":"https://api.github.com/repos/asr/eagda/commits/ec43b652dec03d904e1c3386b56a18c31d4acb11"},{"sha":"8d018ccae1a737f30a59d8a7ad9dc622880b8831","author":{"email":"856ce7783382e01bc66e267580debe21c42c8efa@gmail.com","name":"Ulf Norell"},"message":"[ #1778 ] don't abstract over 'Set' in test case","distinct":true,"url":"https://api.github.com/repos/asr/eagda/commits/8d018ccae1a737f30a59d8a7ad9dc622880b8831"},{"sha":"8db06cd6fb57f981f93b94addd0dc7573eca371f","author":{"email":"856ce7783382e01bc66e267580debe21c42c8efa@gmail.com","name":"Ulf Norell"},"message":"Merge stable-2.5","distinct":true,"url":"https://api.github.com/repos/asr/eagda/commits/8db06cd6fb57f981f93b94addd0dc7573eca371f"},{"sha":"3569a70a1f6117c80d424d341f13fae8593ee165","author":{"email":"dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","name":"Andreas Abel"},"message":"Re #1974 refactor: use Set instead of list to avoid trivial instance duplicates.","distinct":true,"url":"https://api.github.com/repos/asr/eagda/commits/3569a70a1f6117c80d424d341f13fae8593ee165"},{"sha":"ad7a029ed0d5777d18d3e75c782a44180d57d928","author":{"email":"dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","name":"Andreas Abel"},"message":"Re #1974 debug info.","distinct":true,"url":"https://api.github.com/repos/asr/eagda/commits/ad7a029ed0d5777d18d3e75c782a44180d57d928"},{"sha":"543fa8cccd08597ebddb8ad1c6cc57993b6a899b","author":{"email":"dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","name":"Andreas Abel"},"message":"Merge branch 'master' of github.com:agda/agda","distinct":true,"url":"https://api.github.com/repos/asr/eagda/commits/543fa8cccd08597ebddb8ad1c6cc57993b6a899b"},{"sha":"60c4094810632852469495f2ec1c95e5b97aaa8a","author":{"email":"dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","name":"Andreas Abel"},"message":"Re #1986 removed only use of unsafe extractNthElement'\n\nI added a test case to show that now we get a proper internal error.\nThis is of course not the end of the story.","distinct":true,"url":"https://api.github.com/repos/asr/eagda/commits/60c4094810632852469495f2ec1c95e5b97aaa8a"},{"sha":"596ab926af79a59b557414952edf2f24f2221ee4","author":{"email":"dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","name":"Andreas Abel"},"message":"Merge branch 'stable-2.5'","distinct":true,"url":"https://api.github.com/repos/asr/eagda/commits/596ab926af79a59b557414952edf2f24f2221ee4"},{"sha":"77673f766ebb9d5ca0009dc0fe9d101f7bb59645","author":{"email":"856ce7783382e01bc66e267580debe21c42c8efa@gmail.com","name":"Ulf Norell"},"message":"[ fixed #1989 ] wrong hiding for constructors\n\nWhen quoting and when checking constructor applications\nwith explicit parameters that happen to be underscores.","distinct":true,"url":"https://api.github.com/repos/asr/eagda/commits/77673f766ebb9d5ca0009dc0fe9d101f7bb59645"},{"sha":"352f1f0a2cf9b7c5a6d51fa529c321ec17800959","author":{"email":"856ce7783382e01bc66e267580debe21c42c8efa@gmail.com","name":"Ulf Norell"},"message":"Merge stable-2.5","distinct":true,"url":"https://api.github.com/repos/asr/eagda/commits/352f1f0a2cf9b7c5a6d51fa529c321ec17800959"},{"sha":"3d7bea7d917352afc8bf587295d4782aa764d5c6","author":{"email":"1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","name":"Andrés Sicard-Ramírez"},"message":"[ travis ] Asked Haddock version.","distinct":true,"url":"https://api.github.com/repos/asr/eagda/commits/3d7bea7d917352afc8bf587295d4782aa764d5c6"},{"sha":"a85d6e7c27417afbb6f0c971b77424f836252880","author":{"email":"1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","name":"Andrés Sicard-Ramírez"},"message":"Merge agda-stable","distinct":true,"url":"https://api.github.com/repos/asr/eagda/commits/a85d6e7c27417afbb6f0c971b77424f836252880"},{"sha":"321a28e4dedc1546b510414072f8a1ac0ba85505","author":{"email":"1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","name":"Andrés Sicard-Ramírez"},"message":"[ #1791 ] Added support for UHC 1.1.9.4 which supports GHC 8.0.1.","distinct":true,"url":"https://api.github.com/repos/asr/eagda/commits/321a28e4dedc1546b510414072f8a1ac0ba85505"},{"sha":"877b9dc44a56640676ae6274f22717cb0186cae2","author":{"email":"1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","name":"Andrés Sicard-Ramírez"},"message":"Merge agda-stable","distinct":true,"url":"https://api.github.com/repos/asr/eagda/commits/877b9dc44a56640676ae6274f22717cb0186cae2"},{"sha":"d8721c4a8fc7e3bed3778ca6b1fb6d49ebacdc4c","author":{"email":"1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","name":"Andrés Sicard-Ramírez"},"message":"[ travis ] Cosmetics.","distinct":true,"url":"https://api.github.com/repos/asr/eagda/commits/d8721c4a8fc7e3bed3778ca6b1fb6d49ebacdc4c"},{"sha":"6740c7d09f1ac796b68cc1493e1d721d575d67e3","author":{"email":"1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","name":"Andrés Sicard-Ramírez"},"message":"[ #1475 ] Added Travis test when building using the `-uhc` option.","distinct":true,"url":"https://api.github.com/repos/asr/eagda/commits/6740c7d09f1ac796b68cc1493e1d721d575d67e3"},{"sha":"0fc66608c88169c26bdea4cf44fa83323784ba8f","author":{"email":"1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","name":"Andrés Sicard-Ramírez"},"message":"Merge agda-stable","distinct":true,"url":"https://api.github.com/repos/asr/eagda/commits/0fc66608c88169c26bdea4cf44fa83323784ba8f"}]}
{"actor":{"display_login":"asr"}}