GitHub PushEvent at 2014-11-20 14:53:10
Repository: dispel4py
Actor: akrause2014
Payload: {"shas":[["7f40b620f40170a30faf0e7df143f896e9fe4b45","ba9172cdf2430f7625801d73b1f4523bf04c904c@epcc.ed.ac.uk","added mappings; sorting when partitioning","Amy Krause",true]],"size":1,"ref":"refs/heads/development","head":"7f40b620f40170a30faf0e7df143f896e9fe4b45"}