From 6168da1412e4bb5a2d5bbea2661d1fba77db2548 Mon Sep 17 00:00:00 2001
From: Armand Bahi <armand.bahi@veremes.com>
Date: Thu, 4 Jul 2019 11:49:50 +0200
Subject: [PATCH] Suppression pull_submodules/push_submodules

inutiles depuis utilisation avec GitKranken
---
 pull_submodules.sh | 12 ------------
 push_submodules.sh | 12 ------------
 2 files changed, 24 deletions(-)
 delete mode 100755 pull_submodules.sh
 delete mode 100755 push_submodules.sh

diff --git a/pull_submodules.sh b/pull_submodules.sh
deleted file mode 100755
index 1c10ebbe..00000000
--- a/pull_submodules.sh
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/bin/bash
-#
-#
-# 	Récupère les modifications des modules sur l'application
-#
-#
-
-if [ `whoami` == "root" ]; then
-    echo "Please, do not run this script as sudo"
-else
-    (cd utils/; ./pull_submodules.sh)
-fi
diff --git a/push_submodules.sh b/push_submodules.sh
deleted file mode 100755
index c56fe010..00000000
--- a/push_submodules.sh
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/bin/bash
-#
-#
-# 	Envoie les modifications de l'application sur les modules
-#
-#
-
-if [ `whoami` == "root" ]; then
-    echo "Please, do not run this script as sudo"
-else
-    (cd utils/; ./push_submodules.sh)
-fi
-- 
GitLab