From: Matthew Vernon <matthew@rapun.sel.cam.ac.uk>
Date: Thu, 20 Aug 2009 19:23:28 +0000 (+0100)
Subject: a script to git-pull and update-server-info (for use in the html directory)
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~matthewv/git?a=commitdiff_plain;h=523a9f0e19495c9832e68126c9dfe7d4e8f02d84;p=irc.git

a script to git-pull and update-server-info (for use in the html directory)
---

diff --git a/pull-and-update.sh b/pull-and-update.sh
new file mode 100755
index 0000000..f806898
--- /dev/null
+++ b/pull-and-update.sh
@@ -0,0 +1,4 @@
+#!/bin/bash -e
+
+git-pull -v
+git-update-server-info