GitHub PushEvent at 2014-01-30 06:03:42
Repository: planning
Actor: mn200
Payload: {"shas":[["9014d36c75bc5e5423716e06fa6c85a533a28cbc","dedfb5d35184997352c96c03dbc128840e913dd8@nicta.com.au","Minor tweaks, removing now unnecessary \\charles comments","Michael Norrish",true]],"size":1,"ref":"refs/heads/writing_the_ITP2014_paper","head":"9014d36c75bc5e5423716e06fa6c85a533a28cbc"}