{"push_id":939283836,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d2fe4ad0ab14a9f2432b04584b09aed84d66881c","before":"48b06b4444e22c732b3f5c6c0403ff743f7628f4","commits":[{"sha":"d2fe4ad0ab14a9f2432b04584b09aed84d66881c","author":{"email":"f1b010126f61b5c59e7d5eb42c5c68f6105c5914@ertmssolutions.com","name":"LaurentFerier"},"message":"Avoid stopping when the thread is aborded (handle Cancel operation)","distinct":true,"url":"https://api.github.com/repos/ERTMSSolutions/ERTMSFormalSpecs/commits/d2fe4ad0ab14a9f2432b04584b09aed84d66881c"}]}