GitHub PushEvent at 2014-12-07 12:03:16
Repository: gf-contrib
Actor: drbean
Payload: {"shas":[["5a23981258e401d6b7b0630b1fa3b933876d0216","dde931ca727686e8475d73e95d8ceb8ab557e7d6@localhost.localdomain","export_xyzw,unmaybe_from_Representation.hs_for_Transfer.hs","Dr Bean",true],["6607c892c5e4d64707176e1f8306c1e3f1b0b53b","dde931ca727686e8475d73e95d8ceb8ab557e7d6@localhost.localdomain","urs=unmaybe.rep.reps=ur_xyzw.lfs=drsToLF,ur,xyzw","Dr Bean",true],["fec526af800f9aafed2184377db6cc9cfe7d3826","dde931ca727686e8475d73e95d8ceb8ab557e7d6@localhost.localdomain","Exists:single_DRSRef_parallels_single_Var_in_head_Rel_condition,drsToLF","Dr Bean",true],["511e849d3d47657c06358b97f10143d6b71bd3a0","dde931ca727686e8475d73e95d8ceb8ab557e7d6@localhost.localdomain","data_Term=Var_DRSRef.ts=map_L.Var.rs","Dr Bean",true]],"size":4,"ref":"refs/heads/master","head":"511e849d3d47657c06358b97f10143d6b71bd3a0"}