GitHub PushEvent at 2014-06-25 13:02:31
Repository: emacs-config
Actor: bminortx
Payload: {"shas":[["f6fa8371800798d4c7f56fabbddfdab142ca2c06","27fbec4879238aa618c581b54c8c2acc70e40042@gwmail.gwu.edu","Got rid of old packages; modified ProofGeneral dependency","Brandon Minor",true]],"size":1,"ref":"refs/heads/master","head":"f6fa8371800798d4c7f56fabbddfdab142ca2c06"}