etc/profile.d/git.sh

diff --git a/etc/profile.d/git.sh b/etc/profile.d/git.sh
index 9f25dcd2a174414164dd8fcf982423c577675c80..add7cc3c7c282dbd0dc3043be796e6a83c28f8c1 100644 (file)
--- 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() {