{"push_id":670352820,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5f547104d6b49282e1d7ce97bb8eb0136e88971b","before":"024d7e13bfe3a1e478899df2e288521cc790c264","commits":[{"sha":"5f547104d6b49282e1d7ce97bb8eb0136e88971b","author":{"email":"b23bb55dabbabe161ef030d4e8b044eb08e78938@princeton.edu","name":"katherineye"},"message":"update fish and emacs configs (new coqtop)","distinct":true,"url":"https://api.github.com/repos/hypotext/dotfiles/commits/5f547104d6b49282e1d7ce97bb8eb0136e88971b"}]}