{"push_id":661237687,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"223011eb4899a31e0e369767a6a1ec099b2d8e86","before":"c56da3da0eeffd6dc98518d2671dca9761fdd033","commits":[{"sha":"a12d338b2714fa190e4f5d724c8e5e9ac2582769","author":{"email":"8d4ff4e0752c475ccdf317e464f10031d514fdda@itu.dk","name":"Alec Faithfull"},"message":"Turned dk.itu.coqoon.ui.pide.SessionManager into an ordinary class\n\nAlthough the PIDE protocol has support for shared sessions, I have it on\ngood authority that the Coq implementation doesn't","distinct":true,"url":"https://api.github.com/repos/hannesm/Kopitiam/commits/a12d338b2714fa190e4f5d724c8e5e9ac2582769"},{"sha":"223011eb4899a31e0e369767a6a1ec099b2d8e86","author":{"email":"8d4ff4e0752c475ccdf317e464f10031d514fdda@itu.dk","name":"Alec Faithfull"},"message":"Bumped the version numbers to 0.5.8.2 and added a changelog entry","distinct":true,"url":"https://api.github.com/repos/hannesm/Kopitiam/commits/223011eb4899a31e0e369767a6a1ec099b2d8e86"}]}