GitHub PushEvent at 2014-07-09 15:21:31
Repository: discoursegraphs
Actor: arne-cl
Payload: {"shas":[["64a14e0a7830dc6bffb44e388f4c0d1fd4e057ee","64b2b6d12bfe4baae7dad3d018f8cbf6b0e7a044@arne.cl","merge_graphs() doesn't need to distinguish Tiger from other formats, cf. issue #37","Arne Neumann",true]],"size":1,"ref":"refs/heads/master","head":"64a14e0a7830dc6bffb44e388f4c0d1fd4e057ee"}