{"push_id":1022405937,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5febcf98a86a0a39ca98cb04007744f8b999a6ae","before":"2b3b3c831a1d9282da37aa74fe16a3c9df5f79f5","commits":[{"sha":"5febcf98a86a0a39ca98cb04007744f8b999a6ae","author":{"email":"cbc3ac14a2f7d974c412efcd9dc9701ad3c759bf@tcd.ie","name":"Ed"},"message":"added faulty processes for spin state checking","distinct":true,"url":"https://api.github.com/repos/oflynned/PromelaCountingAlgorithm/commits/5febcf98a86a0a39ca98cb04007744f8b999a6ae"}]}