The HTML source for my (i.e., this) web site lives in a Git repository on my local workstation. This page describes how I set things up so that I can make changes live by running just "git push web". The one-line summary: push into a remote repository that has a detached work tree, and a post-receive hook that runs "git checkout -f". The local repository It doesn't really matter how the local repo
![Using Git to manage a web site](https://cdn-ak-scissors.b.st-hatena.com/image/square/f25fe72fd37582a0975b0254232ad8090cbc4e32/height=288;version=1;width=512/https%3A%2F%2Ftoroid.org%2Fcrab.png)