diff options
| author | Matteo Giaccone <matteo.giaccone@acmos.net> | 2018-06-12 18:23:31 +0200 |
|---|---|---|
| committer | Marc Cornellà <marc.cornella@live.com> | 2018-06-12 18:23:31 +0200 |
| commit | 0808c0f6efaaf988ea6530645394d97fef810f01 (patch) | |
| tree | 8beaf35194871675fff1f1d63db6387ca7cce02c | |
| parent | 019e0d7c71429650de33b5fb48b066ee46f37199 (diff) | |
| download | zsh-0808c0f6efaaf988ea6530645394d97fef810f01.tar.gz zsh-0808c0f6efaaf988ea6530645394d97fef810f01.tar.bz2 zsh-0808c0f6efaaf988ea6530645394d97fef810f01.zip | |
Remove default for git reset (#4993)
The command will do the same as before, but now you can also specify
a path.
Example:
grh branch-name
grhh tag-name
| -rw-r--r-- | plugins/git/git.plugin.zsh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/git/git.plugin.zsh b/plugins/git/git.plugin.zsh index 34598fb35..413d780e1 100644 --- a/plugins/git/git.plugin.zsh +++ b/plugins/git/git.plugin.zsh @@ -211,8 +211,8 @@ alias grbc='git rebase --continue' alias grbi='git rebase -i' alias grbm='git rebase master' alias grbs='git rebase --skip' -alias grh='git reset HEAD' -alias grhh='git reset HEAD --hard' +alias grh='git reset' +alias grhh='git reset --hard' alias grmv='git remote rename' alias grrm='git remote remove' alias grset='git remote set-url' |