diff options
| author | SomeDer <48731521+SomeDer@users.noreply.github.com> | 2019-06-15 18:47:23 +0100 |
|---|---|---|
| committer | Robby Russell <robby@planetargon.com> | 2019-06-15 10:47:23 -0700 |
| commit | f992d434ec9057a33b9778fd945a6e80d8c2df75 (patch) | |
| tree | 6f464785cdfd2dee8e996f1feb7af0e43cbd0a10 /plugins | |
| parent | 9060c1ddae7290c88eb91d48567f07624a881376 (diff) | |
| download | zsh-f992d434ec9057a33b9778fd945a6e80d8c2df75.tar.gz zsh-f992d434ec9057a33b9778fd945a6e80d8c2df75.tar.bz2 zsh-f992d434ec9057a33b9778fd945a6e80d8c2df75.zip | |
git: add git revert alias (#7841)
* git: add `alias grev="git revert"`
* Swapping double for single quotes
Matching the conventions in the plugin
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/git/git.plugin.zsh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plugins/git/git.plugin.zsh b/plugins/git/git.plugin.zsh index 09998003a..e0ce27fd4 100644 --- a/plugins/git/git.plugin.zsh +++ b/plugins/git/git.plugin.zsh @@ -199,6 +199,7 @@ alias grbd='git rebase develop' alias grbi='git rebase -i' alias grbm='git rebase master' alias grbs='git rebase --skip' +alias grev='git revert' alias grh='git reset' alias grhh='git reset --hard' alias groh='git reset origin/$(git_current_branch) --hard' |