From 5c0948adc26c409e6705d27519af2f2a6d7506ac Mon Sep 17 00:00:00 2001 From: Nicolas Boisselier Date: Fri, 12 Jan 2018 20:52:41 +0000 Subject: [PATCH] etc/profile.d/git.sh --- etc/profile.d/git.sh | 1 + 1 file changed, 1 insertion(+) 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() { -- 2.47.3