GitHub PushEvent at 2014-09-14 15:21:30
Repository: atomic
Actor: sdruskat
Payload: {"shas":[["2dd8246ea0e054d4414c423578e172523121d624","792aa5b5985ffc66dca0dd131b156fa4c3d2e2f3@uni-jena.de","Fix refresh of graph on deletion of nodes","Stephan Druskat",true]],"size":1,"ref":"refs/heads/refactoring","head":"2dd8246ea0e054d4414c423578e172523121d624"}