--- /dev/null
+to edit servus.html ; edit in the web clone (and git-commit -a ), then
+from the live version do git-pull html.
+
+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.