GitHub PushEvent at 2014-03-21 17:48:28
Repository: firedrake
Actor: doru1004
Payload: {"shas":[["d7bbb5210a35ce24458d2645ad95248580f5103b","4c84e482b4af9837bed8f6c074d4b592ea31aa66@doc.ic.ac.uk","Work in progress.","Gheorghe-Teodor Bercea",true]],"size":1,"ref":"refs/heads/rebased-efr","head":"d7bbb5210a35ce24458d2645ad95248580f5103b"}