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

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

diff --git a/etc/profile.d/git.sh b/etc/profile.d/git.sh
index 9f25dcd2..add7cc3c 100644
--- a/etc/profile.d/git.sh
+++ b/etc/profile.d/git.sh
@@ -252,6 +252,7 @@ git_push_origin() {
 
 git_rm_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"
 }
 
 # NB 12.01.18 git_clone_and_clean() {