I've enabled the "Jenkins (Git plugin)" service / hook. GitHub should
now send a signal to http://jenkins.ceph.com/git/notifyCommit that new
commits have been pushed to the repo.
Accordin to the documentation this allows us to poll more slowly (or not
at all, eventually?)