add a note about git-fetch

diff --git a/git-notes.txt b/git-notes.txt
index 951db48a8be79037d756e4b11cb484d3729e62df..db8dd332e8e81321f5454325afddd2e4d6977cd3 100644 (file)
--- a/git-notes.txt
+++ b/git-notes.txt
@@ -19,3 +19,5 @@ 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.