{"push_id":1207208104,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"775f8b6a21e6adf4da1bb1d832ef73e81a06ccd4","before":"92028d4a059bdb6450ccfc75651f9c97212007fb","commits":[{"sha":"775f8b6a21e6adf4da1bb1d832ef73e81a06ccd4","author":{"name":"David Sheridan","email":"956f7bfa05238a398d96cb45227c87b65a660550@hotmail.com"},"message":"Implemented unit tests to ensure that interpretation of petri net choice processes are handled correctly","distinct":true,"url":"https://api.github.com/repos/DavidSheridan/Model-Checker/commits/775f8b6a21e6adf4da1bb1d832ef73e81a06ccd4"}]}
{"actor":{"display_login":"DavidSheridan"}}