From 880e2be804ddadab8d34e5b6e01b47ad5f5db00d Mon Sep 17 00:00:00 2001
From: Nicolas Boisselier <nicolas.boisselier@gmail.com>
Date: Fri, 12 Jan 2018 05:35:55 +0000
Subject: [PATCH] etc/profile.d/git.sh

---
 etc/profile.d/git.sh | 52 ++++++++++++++++++++++----------------------
 1 file changed, 26 insertions(+), 26 deletions(-)

diff --git a/etc/profile.d/git.sh b/etc/profile.d/git.sh
index 0ff2d0c7..1f3a7073 100644
--- a/etc/profile.d/git.sh
+++ b/etc/profile.d/git.sh
@@ -242,29 +242,29 @@ echo -e $output | column -t -s ', '
 )
 }
 
-git_clone_and_clean() {
-  local usage="git_clean_repo REPO"
-  local repo=${1:-?$usage}
-  local tmp=/tmp/git_clone_and_clean.$$
-(
-  rm -rf "$tmp"
-  mkdir -p "$tmp"
-  cd "$tmp" || return
-  git_clone $repo . || return
-  git_track_branches || return
-
-  echo "Cleaning the files"
-  git filter-branch --tag-name-filter cat --index-filter 'git rm -r --cached --ignore-unmatch filename' --prune-empty -f -- --all || return
-
-  echo "Reclaim space"
-  rm -rf .git/refs/original/ || return
-  git reflog expire --expire=now --all || return
-  git gc --prune=now || return
-  git gc --aggressive --prune=now || return
-
-  echo "Push the cleaned repository"
-  git push origin --force --all || return
-  git push origin --force --tags || return
-)
-  rm -rf "$tmp"
-}
+# NB 12.01.18 git_clone_and_clean() {
+# NB 12.01.18   local usage="git_clean_repo REPO"
+# NB 12.01.18   local repo=${1:-?$usage}
+# NB 12.01.18   local tmp=/tmp/git_clone_and_clean.$$
+# NB 12.01.18 (
+# NB 12.01.18   rm -rf "$tmp"
+# NB 12.01.18   mkdir -p "$tmp"
+# NB 12.01.18   cd "$tmp" || return
+# NB 12.01.18   git_clone $repo . || return
+# NB 12.01.18   git_track_branches || return
+# NB 12.01.18 
+# NB 12.01.18   echo "Cleaning the files"
+# NB 12.01.18   git filter-branch --tag-name-filter cat --index-filter 'git rm -r --cached --ignore-unmatch filename' --prune-empty -f -- --all || return
+# NB 12.01.18 
+# NB 12.01.18   echo "Reclaim space"
+# NB 12.01.18   rm -rf .git/refs/original/ || return
+# NB 12.01.18   git reflog expire --expire=now --all || return
+# NB 12.01.18   git gc --prune=now || return
+# NB 12.01.18   git gc --aggressive --prune=now || return
+# NB 12.01.18 
+# NB 12.01.18   echo "Push the cleaned repository"
+# NB 12.01.18   git push origin --force --all || return
+# NB 12.01.18   git push origin --force --tags || return
+# NB 12.01.18 )
+# NB 12.01.18   rm -rf "$tmp"
+# NB 12.01.18 }
-- 
2.47.3