1 files changed, 0 insertions, 15 deletions
diff --git a/sandbox/meta/bin/update b/sandbox/meta/bin/update
deleted file mode 100755
index 9b2289ad..00000000
--- a/sandbox/meta/bin/update
+++ /dev/null
@@ -1,15 +0,0 @@
-#! /bin/sh
-set -euf
-
-cd $(dirname $(readlink -f $0))/../..
-id=`ls -lnd . | awk '{print$3}'`
-
-if test "${nosudo-false}" != true -a `id -u` != $id; then
-  echo "we're going sudo..." >&2
-  exec sudo -u "#$id" "$0" "$@"
-  exit 23 # go to hell
-fi
-
-echo "// is $PWD owned by $id"
-
-git pull