diff options
| author | Allan Lewis <allanlewis@users.noreply.github.com> | 2016-09-30 12:45:28 +0100 |
|---|---|---|
| committer | Marc Cornellà <marc.cornella@live.com> | 2016-09-30 13:45:28 +0200 |
| commit | c713407f90e7024507c7fc621440cb171108e7f4 (patch) | |
| tree | d169c6dd64f59320e90396f06fe425dd102df554 /plugins | |
| parent | 1159aa14fa810b4e7f0a12146988daa5567dab5a (diff) | |
| download | zsh-c713407f90e7024507c7fc621440cb171108e7f4.tar.gz zsh-c713407f90e7024507c7fc621440cb171108e7f4.tar.bz2 zsh-c713407f90e7024507c7fc621440cb171108e7f4.zip | |
git.plugin.zsh: Don't run Git hooks when making a WIP commit (#4751)
When making a WIP commit, we generally just want to save the state of the
current branch temporarily, maybe because we want to push our work for backup
purposes, or change branch to work on something else. Therefore, it's generally
undesirable to run Git hooks, which might do things like run linters, because
we probably don't care if our WIP has lint errors.
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/git/git.plugin.zsh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/git/git.plugin.zsh b/plugins/git/git.plugin.zsh index 25da03509..ea9ff8269 100644 --- a/plugins/git/git.plugin.zsh +++ b/plugins/git/git.plugin.zsh @@ -236,4 +236,4 @@ alias gupv='git pull --rebase -v' alias glum='git pull upstream master' alias gwch='git whatchanged -p --abbrev-commit --pretty=medium' -alias gwip='git add -A; git rm $(git ls-files --deleted) 2> /dev/null; git commit -m "--wip--"' +alias gwip='git add -A; git rm $(git ls-files --deleted) 2> /dev/null; git commit --no-verify -m "--wip--"' |