From 93f3d98cd751274fbaab39c5726ce2542ff4e5d1 Mon Sep 17 00:00:00 2001 From: Armand Bahi <armand.bahi@veremes.com> Date: Mon, 12 Nov 2018 11:10:49 +0100 Subject: [PATCH] Make push_subtrees runnable --- push_subtrees.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 push_subtrees.sh diff --git a/push_subtrees.sh b/push_subtrees.sh old mode 100644 new mode 100755 -- GitLab