From 6a47c43a96a1cc4fbb949b2981ede8eff52bc45d Mon Sep 17 00:00:00 2001
From: Armand Bahi <armand.bahi@veremes.com>
Date: Tue, 30 Oct 2018 17:36:16 +0100
Subject: [PATCH] Rename pull.sh into pull_subtrees.sh

---
 pull.sh => pull_subtrees.sh | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename pull.sh => pull_subtrees.sh (100%)

diff --git a/pull.sh b/pull_subtrees.sh
similarity index 100%
rename from pull.sh
rename to pull_subtrees.sh
-- 
GitLab