1 files changed, 5 insertions, 0 deletions
diff --git a/repo/publish b/repo/publish
new file mode 100755
index 0000000..b7269c9
--- /dev/null
+++ b/repo/publish
@@ -0,0 +1,5 @@
+#!/bin/bash
+
+# simple reminder script to publish the repository to the usual spot:
+
+rsync -avz --delete dists pool root@george.riseup.net:/srv/apt/