From 11d418581a29a35dff1a7572833186454ae35be5 Mon Sep 17 00:00:00 2001 From: Nicolas Boisselier Date: Fri, 12 Jan 2018 21:00:04 +0000 Subject: [PATCH] etc/profile.d/git.sh --- etc/profile.d/git.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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" } -- 2.47.3