{"push_id":836015560,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"53f195330899b83df1c3ea32c2319e706a2fdc49","before":"9b96769878b8a147074439384e88250552caea21","commits":[{"sha":"53f195330899b83df1c3ea32c2319e706a2fdc49","author":{"email":"67f1b29dab157300b35e02084daa2c9694d7a19a@gmail.com","name":"Sean Bowe"},"message":"Added .pop() to Chan as a complete alternative to .succ() and .zero().","distinct":true,"url":"https://api.github.com/repos/ebfull/session-types/commits/53f195330899b83df1c3ea32c2319e706a2fdc49"}]}