{"push_id":701962897,"size":1,"distinct_size":1,"ref":"refs/heads/unsafe-read-write","head":"eefdc46d8ad005207d4b4e2fb0dae165524107ff","before":"0f5e18f43ba69622cd93ecbc3664a0880c4de0c3","commits":[{"sha":"eefdc46d8ad005207d4b4e2fb0dae165524107ff","author":{"email":"a658ebc35b729f3e01cd20cf0ea026f93c4fddf4@gmail.com","name":"Philip Munksgaard"},"message":"Rename unsafe_read_chan -> read_chan and make it unsafe\n\nSame for unsafe_write_chan\n\nThis fixes #13","distinct":true,"url":"https://api.github.com/repos/Munksgaard/session-types/commits/eefdc46d8ad005207d4b4e2fb0dae165524107ff"}]}