-to edit servus.html ; edit in the web clone (and git-commit -a ), then
+ 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]
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.