{"push_id":2759138624,"size":10,"distinct_size":2,"ref":"refs/heads/warnings","head":"4b0cdd2716ec1577b6b57ff6b7ac9f41f4612044","before":"b223b6c7054c8f10dd5b0a8908feff9287f46fb0","commits":[{"sha":"27a7eaae5e3b0e191fd1eec1d14607e25493a038","author":{"name":"G. Allais","email":"60a54f938b6c3401112164cd81a3e51650ab7fb0@ens-lyon.org"},"message":"[ re #365 ] Categorical: Delay and Stream (#382)","distinct":false,"url":"https://api.github.com/repos/agda/agda-stdlib/commits/27a7eaae5e3b0e191fd1eec1d14607e25493a038"},{"sha":"85c60d9b8e6a605d3658447417d0382018f55bd8","author":{"name":"MatthewDaggitt","email":"17396a10e5c5526a4a3103b507a277f507162773@gmail.com"},"message":"Added some more `Vec` properties (#388)","distinct":false,"url":"https://api.github.com/repos/agda/agda-stdlib/commits/85c60d9b8e6a605d3658447417d0382018f55bd8"},{"sha":"f5a71d2e5e556ec77131eac7374f3cbb3b9067b6","author":{"name":"Guillaume Allais","email":"60a54f938b6c3401112164cd81a3e51650ab7fb0@ens-lyon.org"},"message":"[ cosmetic ] alignment & highlighting in CHANGELOG","distinct":false,"url":"https://api.github.com/repos/agda/agda-stdlib/commits/f5a71d2e5e556ec77131eac7374f3cbb3b9067b6"},{"sha":"f3429048fb12e4105ed85ab9a22302c43c6727ff","author":{"name":"G. Allais","email":"60a54f938b6c3401112164cd81a3e51650ab7fb0@ens-lyon.org"},"message":"[ new ] comonad + identity & NonEmpty instances (#386)","distinct":false,"url":"https://api.github.com/repos/agda/agda-stdlib/commits/f3429048fb12e4105ed85ab9a22302c43c6727ff"},{"sha":"289bb19b4da3ccd8684749e0268de276762b056c","author":{"name":"MatthewDaggitt","email":"17396a10e5c5526a4a3103b507a277f507162773@gmail.com"},"message":"A proof of the pigeonhole principle (#387)","distinct":false,"url":"https://api.github.com/repos/agda/agda-stdlib/commits/289bb19b4da3ccd8684749e0268de276762b056c"},{"sha":"79055638329547ba67d5348fdf3b0286661ec965","author":{"name":"Wen Kokke","email":"6cd2afa867968431ade0dffa53a05d14833b9ee0@gmail.com"},"message":"[ fix #393 ] move nat-computed levels to their own module (#394)","distinct":false,"url":"https://api.github.com/repos/agda/agda-stdlib/commits/79055638329547ba67d5348fdf3b0286661ec965"},{"sha":"284b4070f6259b2bbdd9740a066b7f4900aea458","author":{"name":"=","email":"17396a10e5c5526a4a3103b507a277f507162773@gmail.com"},"message":"Changed LevelNat to Levelℕ","distinct":false,"url":"https://api.github.com/repos/agda/agda-stdlib/commits/284b4070f6259b2bbdd9740a066b7f4900aea458"},{"sha":"7a0121b16294d5423a467a22f734bdab714023c0","author":{"name":"Guillaume Allais","email":"60a54f938b6c3401112164cd81a3e51650ab7fb0@ens-lyon.org"},"message":"[ changelog ] padding the version numbers\n\nThis way they should be listed in the appropriate order on github / by ls.","distinct":false,"url":"https://api.github.com/repos/agda/agda-stdlib/commits/7a0121b16294d5423a467a22f734bdab714023c0"},{"sha":"74cf751f3c033930c5010d309481224085b12ee7","author":{"name":"=","email":"17396a10e5c5526a4a3103b507a277f507162773@gmail.com"},"message":"Merge branch 'master' into warnings","distinct":true,"url":"https://api.github.com/repos/agda/agda-stdlib/commits/74cf751f3c033930c5010d309481224085b12ee7"},{"sha":"4b0cdd2716ec1577b6b57ff6b7ac9f41f4612044","author":{"name":"=","email":"17396a10e5c5526a4a3103b507a277f507162773@gmail.com"},"message":"Last batch of warnings","distinct":true,"url":"https://api.github.com/repos/agda/agda-stdlib/commits/4b0cdd2716ec1577b6b57ff6b7ac9f41f4612044"}]}
{"actor":{"display_login":"MatthewDaggitt"}}