GitHub PushEvent at 2014-04-09 09:30:32
Repository: doc
Actor: guwac
Payload: {"shas":[["3cd34a24e38bdf1a67217c53fe29b8ecda84d91c","8988f1fed69f54f588c46677ea3719a085ee84ad@tudelft.nl","improved names","Guido Wachsmuth",true]],"size":1,"ref":"refs/heads/cg2014-tutorial","head":"3cd34a24e38bdf1a67217c53fe29b8ecda84d91c"}