deploy: merge next

1 files changed, 0 insertions, 15 deletions

diff --git a/bin/make-rsync-whitelist b/bin/make-rsync-whitelist
deleted file mode 100755
index a1b09c801..000000000
--- a/bin/make-rsync-whitelist
+++ /dev/null
@@ -1,15 +0,0 @@
-#! /bin/sh
-# make-rsync-whitelist : lines relpath |> liens rsync-filter
-set -euf
-
-set -- "$(cat)"
-
-# include all files in stdin and their directories
-{
-  echo "$1"
-  echo "$1" | make-parent-dirs | sort | uniq
-} \
-  | sed 's|^|+ /|'
-
-# exclude everything else
-echo '- *'