GitHub PushEvent at 2014-03-07 14:28:48
Repository: herdtools
Actor: jpdeplaix
Payload: {"shas":[["de88e897d1193fff48b953559f7fcfd442a487d8","26c8999589b092eb29da6fdfecc4a3ccf3e2c78f@gmail.com","Remove Template.Reexport","Jacques-Pascal Deplaix",true]],"size":1,"ref":"refs/heads/master","head":"de88e897d1193fff48b953559f7fcfd442a487d8"}