From: Nicolas Boisselier <nicolas.boisselier@gmail.com>
Date: Fri, 12 Jan 2018 21:00:04 +0000 (+0000)
Subject: etc/profile.d/git.sh
X-Git-Url: https://git.nbdom.net/?a=commitdiff_plain;h=11d418581a29a35dff1a7572833186454ae35be5;p=nb.git

etc/profile.d/git.sh
---

diff --git a/etc/profile.d/git.sh b/etc/profile.d/git.sh
index add7cc3c..363b8717 100644
--- a/etc/profile.d/git.sh
+++ b/etc/profile.d/git.sh
@@ -250,7 +250,7 @@ git_push_origin() {
 	git push origin --force --tags || return
 }
 
-git_rm_file() {
+git_purge_file() {
 	git filter-branch --force --index-filter "git rm --cached --ignore-unmatch $1" --prune-empty --tag-name-filter cat -- --all
 	echo "Now you can run git_push_origin"
 }