GitHub PushEvent at 2014-09-09 11:54:08
Repository: prefix.cc
Actor: cygri
Payload: {"shas":[["235851db9b5aa449128197bf6cebb79f45ba3e5e","c24783ba96a35464632a624d9f829136edc0175e@verborgh.org","Fix copying of terms.","Ruben Verborgh",true],["d473364df1e04b908df05b1536e7856a231d5215","320bca71fc381a4a025636043ca86e734e31cf8b@cyganiak.de","Merge branch 'copyterm' of https://github.com/RubenVerborgh/prefix.cc into RubenVerborgh-copyterm","Richard Cyganiak",true],["77bbcbb0a11b5e7a84119bd97b2b0443972455dc","320bca71fc381a4a025636043ca86e734e31cf8b@cyganiak.de","Merge branch 'RubenVerborgh-copyterm'","Richard Cyganiak",true]],"size":3,"ref":"refs/heads/master","head":"77bbcbb0a11b5e7a84119bd97b2b0443972455dc"}