From f97bdbd319c2c35b9e6168f45e0fe13c73d6175a Mon Sep 17 00:00:00 2001 From: Nicolas Boisselier Date: Sun, 15 Jan 2017 18:40:47 +0000 Subject: [PATCH] git_commit_push always push --- 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 22fcd79a..e35c0c23 100644 --- a/etc/profile.d/git.sh +++ b/etc/profile.d/git.sh @@ -70,7 +70,7 @@ gitcd() { } # < gitcd() git_commit_push() { - git commit -a -m "$*" && git push #|| echo "Try: git push --set-upstream origin master" + git commit -a -m "$*"; git push } git_commit_push_add() { -- 2.47.3