From 523a9f0e19495c9832e68126c9dfe7d4e8f02d84 Mon Sep 17 00:00:00 2001
From: Matthew Vernon <matthew@rapun.sel.cam.ac.uk>
Date: Thu, 20 Aug 2009 20:23:28 +0100
Subject: [PATCH] a script to git-pull and update-server-info (for use in the
 html directory)

---
 pull-and-update.sh | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100755 pull-and-update.sh

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
-- 
2.30.2