{"push_id":1325886545,"size":9,"distinct_size":9,"ref":"refs/heads/master","head":"34f466cc2e5be09feb0e6704c223e274f675a507","before":"d1eccd8311554091e4b5515e2139d1bd1ed81727","commits":[{"sha":"8438156c8d229f8410d8addf4cab2eec76c43dfd","author":{"name":"Langston Barrett","email":"3430d393f0b8501c2159c9dd2546c977c4d99f17@gmail.com"},"message":"tutorial: replace \"return\" with \"pure\"","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/8438156c8d229f8410d8addf4cab2eec76c43dfd"},{"sha":"c9290f9bc6a615349f8e6b33cc143af53c402916","author":{"name":"Langston Barrett","email":"3430d393f0b8501c2159c9dd2546c977c4d99f17@gmail.com"},"message":"docs/tutorial/interfaces.rst: s/return/pure/g","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/c9290f9bc6a615349f8e6b33cc143af53c402916"},{"sha":"a59677632a47b727f3682ee8d3250d2c48c58b99","author":{"name":"Markus Klink","email":"af940533652c89d62140f8d79d72940d91688e38@inoio.de"},"message":"Remove deprecated calls to return","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/a59677632a47b727f3682ee8d3250d2c48c58b99"},{"sha":"ecc4bb7c0200f1992e1c45214bbe4da48e591bbb","author":{"name":"Jan de Muijnck-Hughes","email":"b12f6d4f6f80d7d34658089661e60ffcdb5bab59@users.noreply.github.com"},"message":"Merge pull request #3464 from justjoheinz/fix/pure\n\nRemove deprecated calls to return","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/ecc4bb7c0200f1992e1c45214bbe4da48e591bbb"},{"sha":"508f4a60ec1d903defc3d320a4c8ff4378fe1b06","author":{"name":"Jan de Muijnck-Hughes","email":"b12f6d4f6f80d7d34658089661e60ffcdb5bab59@st-andrews.ac.uk"},"message":"Merge branch 'fix/tutorial-return' of https://github.com/siddharthist/Idris-dev into siddharthist-fix/tutorial-return","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/508f4a60ec1d903defc3d320a4c8ff4378fe1b06"},{"sha":"43e7ec9c6b7466fd401bef0b36c094e64ef26945","author":{"name":"Jan de Muijnck-Hughes","email":"b12f6d4f6f80d7d34658089661e60ffcdb5bab59@st-andrews.ac.uk"},"message":"Updated remaining use of deprecated `return` in Docs to `pure`.","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/43e7ec9c6b7466fd401bef0b36c094e64ef26945"},{"sha":"93772df08ddf57a515b75eb43b8d4e8850a8fbec","author":{"name":"Jan de Muijnck-Hughes","email":"b12f6d4f6f80d7d34658089661e60ffcdb5bab59@st-andrews.ac.uk"},"message":"Merge branch 'siddharthist-fix/tutorial-return'","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/93772df08ddf57a515b75eb43b8d4e8850a8fbec"},{"sha":"be7689bc46aa0b4b47344cb37d4eaddac851206a","author":{"name":"David Christiansen","email":"d8099b0f90e53c29d29eb12a7a3caa5af4f12681@davidchristiansen.dk"},"message":"Make Vect follow the naming convention of List\n\nRename Vect n a to Vect len elem, where it makes sense.","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/be7689bc46aa0b4b47344cb37d4eaddac851206a"},{"sha":"34f466cc2e5be09feb0e6704c223e274f675a507","author":{"name":"Jan de Muijnck-Hughes","email":"b12f6d4f6f80d7d34658089661e60ffcdb5bab59@st-andrews.ac.uk"},"message":"Merge branch 'david-christiansen-coredef'","distinct":true,"url":"https://api.github.com/repos/mpkh/Idris-dev/commits/34f466cc2e5be09feb0e6704c223e274f675a507"}]}
{"actor":{"display_login":"mpkh"}}