From 2fcc1f9b9498b9cee11fa30806d936b726688ea0 Mon Sep 17 00:00:00 2001 From: Marc Beninca Date: Mon, 28 Oct 2019 15:37:04 +0100 Subject: [PATCH] bash/gp,gpf --- docs/public/bash/configure.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/public/bash/configure.rst b/docs/public/bash/configure.rst index db27346..9aa6e20 100644 --- a/docs/public/bash/configure.rst +++ b/docs/public/bash/configure.rst @@ -248,13 +248,13 @@ Described alias gmt='git mergetool' # push to the remote repository - alias gp='git push --set-upstream --verbose' + alias gp='git push --verbose --tags --set-upstream' # delete from the remote repository alias gpd='git push --verbose --delete' # force the push to the remote repository - alias gpf='git push --set-upstream --verbose --force' + alias gpf='git push --verbose --tags --set-upstream --force' # rebase current branch onto another alias grb='git rebase'