Git notes for Servus hackers To edit servus.html ; edit in the web clone (and git-commit -a ), then from the live version do git-pull html. Rather than running git-pull in the html dir, instead run pull-and-update.sh which runs git-update-server-info too. to get a copy, either: git-clone http://www.pick.ucam.org/~matthew/irc/.git/ [if git-update-server-info has been run in the web clone] or git-clone rapun.sel.cam.ac.uk:/home/matthew/programming/irc/bot (if you've got a rapun account). Testing: programming/irc/bot-test contains a clone of bot, but with Servus-chiark.py changed to launch a test version into #test. If you git-pull in there, you can then launch the new code and check it works before killing and reloading Servus proper. git-fetch can be used to consider other trees before committing them.