github hooks We're all hooked on github, so let's get more of our own hooks into it. This is currently kind of a toy. Maybe it'll be useful to others eventually.