I’ve taken my own advice and migrated the repository I keep this website in from Subversion to git.

Please let me know if you run into any problems.