BTW, I recently discovered that writing Git hooks for doing stuff on push is easier than I expected. For example, now I do git push to run my static site generator with this:

https://ñix.es/cgit/alex/alexpdp7.git/tree/blog/post-receive?h=master