diff options
| author |  Denton Liu <liu.denton@gmail.com> | 2019-08-27 00:45:39 -0400 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2019-08-27 14:47:09 -0700 |
| commit | b1b16bba966b919c0ddb57338c5745ea8b288eb5 (patch) | |
| tree | df7960482deabccb881a96088436fb03b796941e /builtin/push.c | |
| parent | completion: merge options for cherry-pick and revert (diff) | |
| download | tgif-b1b16bba966b919c0ddb57338c5745ea8b288eb5.tar.xz | |
completion: add --skip for cherry-pick and revert
Even though `--skip` is a valid command-line option for cherry-pick and
revert while they are in progress, it is not completed. Add this missing
option to the completion script.
Signed-off-by: Denton Liu <liu.denton@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin/push.c')
0 files changed, 0 insertions, 0 deletions