{"push_id":932321654,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"cbf0dbf5d83d911823c8478b11de1b02d53dcf61","before":"c39bf377d48e7ac4835647a31b90efc742fa123b","commits":[{"sha":"cbf0dbf5d83d911823c8478b11de1b02d53dcf61","author":{"email":"82a36422d455213247e76b728a8ed41cf0074c73@csail.mit.edu","name":"CJ Bell"},"message":"Moved the Coq XML Protocol documentation to the root of this repo.","distinct":true,"url":"https://api.github.com/repos/siegebell/vscoq/commits/cbf0dbf5d83d911823c8478b11de1b02d53dcf61"}]}