{"push_id":931078031,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"059879f7fc8e4d489b063c9e2ea88f307b5600aa","before":"ae0b062ac2aef69cef296da5e3ee9e67d54c78ee","commits":[{"sha":"059879f7fc8e4d489b063c9e2ea88f307b5600aa","author":{"email":"30484fccaed095e49939edef4b08f91e54208b07@liafa.univ-paris-diderot.fr","name":"wuzl"},"message":"generalized lasso finished","distinct":true,"url":"https://api.github.com/repos/guluchen/MR-formal-model/commits/059879f7fc8e4d489b063c9e2ea88f307b5600aa"}]}