GitHub PushEvent at 2014-11-11 20:50:22
Repository: acl2
Actor: MattKaufmann
Payload: {"shas":[["cc5ed8798105c89b373b391a673877da4baa85cc","0e8571cdea8dfcd394fe3e7a6fd70cfe66e52b6d@cs.utexas.edu","Added .gitignore files to clean up output from \"git status\".","Matt Kaufmann",true]],"size":1,"ref":"refs/heads/master","head":"cc5ed8798105c89b373b391a673877da4baa85cc"}