{"push_id":980070445,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"56c1aedee928c700b54e04a3d004053e5e61641e","before":"7e038be96fa8804b44e9e4b1ac45ef79bdd210bc","commits":[{"sha":"56c1aedee928c700b54e04a3d004053e5e61641e","author":{"email":"d8cd10b920dcbdb5163ca0185e402357bc27c265@wolf.is","name":"Charlie Wolf"},"message":"fix switchTo","distinct":true,"url":"https://api.github.com/repos/flow180/hipscud/commits/56c1aedee928c700b54e04a3d004053e5e61641e"}]}