{"push_id":1094985951,"size":1,"distinct_size":1,"ref":"refs/heads/background-processing","head":"c2b76c6abcf21d5a04c5af2400b1b1dd1887db21","before":"d8ecfb857541dd6dd3d2563d455446a7db65a7b8","commits":[{"sha":"c2b76c6abcf21d5a04c5af2400b1b1dd1887db21","author":{"email":"a0b659651a45f24fc45fd8268654ec647f9dc16b@stecksoft.com","name":"Paul Steckler"},"message":"checkpointing some XML stuff","distinct":true,"url":"https://api.github.com/repos/psteckler/Proof-General/commits/c2b76c6abcf21d5a04c5af2400b1b1dd1887db21"}]}