{"push_id":651262006,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"475b6087b3576f06f1fff5cfe6b62eddf9f76669","before":"ae400963672ada127f5e3522132280debb6c48e6","commits":[{"sha":"475b6087b3576f06f1fff5cfe6b62eddf9f76669","author":{"email":"df42e8e3a47c7d689e82dde519b3f18ec7e7eac4@wp.pl","name":"Tomasz"},"message":"Working on graph visualization. Different shapes for places and transitions","distinct":true,"url":"https://api.github.com/repos/TomaszKorecki/PetriNet/commits/475b6087b3576f06f1fff5cfe6b62eddf9f76669"}]}