Tags
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
“.by Abhijit Menon-Sen, ams@toroid.org
This is a second method for using Git to maintain a website, developed by Abhijit Menon-Sen, and available in its entirety at his intriguingly named site, toroid.org. I posted this as a follow-up to Daniel Miessler’s more stripped-down version, “Using Git to maintain your website, Part 1”.