GitHub PushEvent at 2014-08-13 04:37:01
Repository: ExtremalCombinatorics
Actor: erikwaing
Payload: {"shas":[["ff1d1d85e695004e572afcad03c06ce54c827cee","e7728f49c3b45a6a30c1f526a13e471e9ac33e1d@gmail.com","stuff written up to the theorem","Erik Waingarten",true]],"size":1,"ref":"refs/heads/master","head":"ff1d1d85e695004e572afcad03c06ce54c827cee"}