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.