GitHub PushEvent at 2014-09-09 23:46:11
Repository: succinct.rs
Actor: bgamari
Payload: {"shas":[["4343304562dc34511aeb69f398dd787cd97a4043","ef9c145df0d91f4ae3f2ee937c5757f539df3df6@gmail.com","wavelet: Switch symbol_eq to uint","Ben Gamari",true],["30803638c3120baaff515ef09106670107817efd","ef9c145df0d91f4ae3f2ee937c5757f539df3df6@gmail.com","Move wavelet.rs to directory","Ben Gamari",true]],"size":2,"ref":"refs/heads/master","head":"30803638c3120baaff515ef09106670107817efd"}