diff options
| author | Hsieh Chin Fan <pham@topo.tw> | 2024-12-05 12:23:58 +0800 |
|---|---|---|
| committer | Hsieh Chin Fan <pham@topo.tw> | 2024-12-05 12:23:58 +0800 |
| commit | c0e2441b7dba9975690f4fa6958be4fe23c30d86 (patch) | |
| tree | 5ab49c95f53b921903ca771b7b1ad65a07a07a24 | |
| parent | 31b853a7bebad5db3f84af9609ff41f72fa9ad7b (diff) | |
Update
| -rw-r--r-- | tigrc | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -135,7 +135,7 @@ bind main gs ?@git merge %(branch) --squash | |||
| 135 | 135 | ||
| 136 | # push | 136 | # push |
| 137 | bind main p none # override default pager binding | 137 | bind main p none # override default pager binding |
| 138 | bind main pp ?git push | 138 | bind main pp ?bash -c 'git push || git remote update --prune' |
| 139 | bind main pP ?git push -u %(remote) %(branch):%(branch) | 139 | bind main pP ?git push -u %(remote) %(branch):%(branch) |
| 140 | bind main pr ?git push -u '%(prompt Which remote? )' %(branch):%(branch) | 140 | bind main pr ?git push -u '%(prompt Which remote? )' %(branch):%(branch) |
| 141 | bind main pfr ?git push -u '%(prompt Force push to which remote? )' %(branch):%(branch) -f | 141 | bind main pfr ?git push -u '%(prompt Force push to which remote? )' %(branch):%(branch) -f |