diff options
| author | Arnaud Rinquin <rinquin.arnaud@gmail.com> | 2015-06-17 13:25:09 +0100 |
|---|---|---|
| committer | ncanceill <nicolas.canceill@ens-cachan.org> | 2015-06-17 22:36:25 +0200 |
| commit | ed6645a2823dc6c3e0fae822186d79542682e68e (patch) | |
| tree | 517b05f5f22a278ef0f7caa104779a894d107c4d /plugins/redis-cli | |
| parent | ab18795f3cd9bd45aec60a4a4bd8ecf820eb86c4 (diff) | |
| download | zsh-ed6645a2823dc6c3e0fae822186d79542682e68e.tar.gz zsh-ed6645a2823dc6c3e0fae822186d79542682e68e.tar.bz2 zsh-ed6645a2823dc6c3e0fae822186d79542682e68e.zip | |
Fix plugin/git ggpull and ggpush backward compatibility
Current `ggpush` is `git push origin` instead of `git push origin $(current_branch)`
Same for `ggpull`
Diffstat (limited to 'plugins/redis-cli')
0 files changed, 0 insertions, 0 deletions