Using Git to manage a web site
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".