chiark / gitweb /
a script to git-pull and update-server-info (for use in the html directory)
authorMatthew Vernon <matthew@rapun.sel.cam.ac.uk>
Thu, 20 Aug 2009 19:23:28 +0000 (20:23 +0100)
committerMatthew Vernon <matthew@rapun.sel.cam.ac.uk>
Thu, 20 Aug 2009 19:23:28 +0000 (20:23 +0100)
commit523a9f0e19495c9832e68126c9dfe7d4e8f02d84
tree59897369f17078a0ad1bd19af17e3ecb8199ced7
parentec52d63ed5cd992caa719216e3d1bc37f29e4047
a script to git-pull and update-server-info (for use in the html directory)
pull-and-update.sh [new file with mode: 0755]