{"push_id":1108729544,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"bf9e1baf79dd7455d547a04a9e7c4a4018929648","before":"2f6970987e132d8910c85e48b22ea815cc768729","commits":[{"sha":"bfac2e42d8375b2ebfcf0ba29cfb936d41184d35","author":{"email":"058d6cc9016e54c533377bc31d911915f2fb4278@cnrs.fr","name":"Ludovic Henrio"},"message":"comments, reorganisation and improvement on restrictions","distinct":true,"url":"https://api.github.com/repos/VincenzoMastandrea/DeadlockAnalysis/commits/bfac2e42d8375b2ebfcf0ba29cfb936d41184d35"},{"sha":"bf9e1baf79dd7455d547a04a9e7c4a4018929648","author":{"email":"058d6cc9016e54c533377bc31d911915f2fb4278@cnrs.fr","name":"Ludovic Henrio"},"message":"Merge branch 'master' of github.com:VincenzoMastandrea/DeadlockAnalysis","distinct":true,"url":"https://api.github.com/repos/VincenzoMastandrea/DeadlockAnalysis/commits/bf9e1baf79dd7455d547a04a9e7c4a4018929648"}]}