diff options
author | typebrook <typebrook@gmail.com> | 2019-05-25 22:49:22 +0800 |
---|---|---|
committer | typebrook <typebrook@gmail.com> | 2019-05-25 22:49:22 +0800 |
commit | 65aa5c2005f6fb7b47cd37dfbedfe0f02b40e11b (patch) | |
tree | 8f6fde3fa7005bea39355caa7f24c53929c51fd2 | |
parent | 75fe2a958111fc5161fc4d4913c68b607777c490 (diff) |
Revert "update"
This reverts commit 75fe2a958111fc5161fc4d4913c68b607777c490.
-rw-r--r-- | tigrc | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -102,8 +102,8 @@ bind main gM ?@git merge %(remote)/%(branch) --no-ff # merge-no-ff with current | |||
102 | 102 | ||
103 | # push | 103 | # push |
104 | bind main p none # override default pager binding | 104 | bind main p none # override default pager binding |
105 | bind main pp ?@git push | 105 | bind main pp ?git push |
106 | bind main pP ?@git push -u %(remote) %(branch):%(branch) | 106 | bind main pP ?git push -u %(remote) %(branch):%(branch) |
107 | bind main pF ?git push -f | 107 | bind main pF ?git push -f |
108 | bind main pr ?git push -u '%(prompt Which remote? )' %(branch):%(branch) | 108 | bind main pr ?git push -u '%(prompt Which remote? )' %(branch):%(branch) |
109 | bind main pd ?git push %(remote) :%(branch) | 109 | bind main pd ?git push %(remote) :%(branch) |