From 25247e9e327c97b9b0b17ac9ce642426d4074000 Mon Sep 17 00:00:00 2001 From: Matthew Vernon Date: Thu, 20 Aug 2009 20:25:15 +0100 Subject: [PATCH] note new script --- git-notes.txt | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/git-notes.txt b/git-notes.txt index ce2e34d..951db48 100644 --- a/git-notes.txt +++ b/git-notes.txt @@ -1,6 +1,11 @@ -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] -- 2.30.2