{"push_id":2355528710,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"94c6dc2d485950ce2e04725da5930e05abae3eb6","before":"2be6e6a7d91098831b29cd5bca48c3a1303a78c5","commits":[{"sha":"41951f21d64c486c27d5c2a949cf8a62f7217291","author":{"name":"Michel Bøje Randahl Nielsen","email":"f408547b4509672d5bfb035f5b0cd8558b3b9e33@randahl.net"},"message":"Update type-providers-ffi.rst\n\nmaking the code work with latest Idris version (1.2)","distinct":true,"url":"https://api.github.com/repos/asandroq/Idris-dev/commits/41951f21d64c486c27d5c2a949cf8a62f7217291"},{"sha":"c229ecc4680ab922c961903d33defdb08b95114e","author":{"name":"Ahmad Salim Al-Sibahi","email":"57554ebe0a359ec64e217f9a0779baaf60b21496@itu.dk"},"message":"Merge pull request #4350 from michelrandahl/patch-1\n\nUpdate type-providers-ffi.rst","distinct":true,"url":"https://api.github.com/repos/asandroq/Idris-dev/commits/c229ecc4680ab922c961903d33defdb08b95114e"},{"sha":"94c6dc2d485950ce2e04725da5930e05abae3eb6","author":{"name":"Patrick Hilhorst","email":"6e6eef654205e8a2cab48df0960802d8d68ca009@gmail.com"},"message":"Fixed `Data.SortedBag.contains` and added docs to Data.PosNat (#4348)\n\n* Contains is no longer reversed\r\n\r\n* Added more docs for Posnat\r\n\r\n* Defined alterCounts and count in terms of a shared core function\r\n\r\n* Moved a comment relevant to countMap closer to it","distinct":true,"url":"https://api.github.com/repos/asandroq/Idris-dev/commits/94c6dc2d485950ce2e04725da5930e05abae3eb6"}]}
{"actor":{"display_login":"asandroq"}}