diff options
| author | René Scharfe <l.s.r@web.de> | 2023-12-06 12:51:55 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2023-12-09 07:39:11 +0900 |
| commit | b3bf4701cf617e5dc76e27f318913c2c76c35334 (patch) | |
| tree | ae3ef314ba92aac9ecf2d149d2cc9db089b02bbe /builtin/commit-graph.c | |
| parent | 564d0252ca632e0264ed670534a51d18a689ef5d (diff) | |
push: use die_for_incompatible_opt4() for - -delete/--tags/--all/--mirror
The push option --delete is incompatible with --all, --mirror, and
--tags; --tags is incompatible with --all and --mirror; --all is
incompatible with --mirror. This means they are all incompatible with
each other. And --branches is an alias for --all.
Use the function for checking four mutually incompatible options,
die_for_incompatible_opt4(), to perform this check in one place and
without repetition. This is shorter and clearer.
Signed-off-by: René Scharfe <l.s.r@web.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin/commit-graph.c')
0 files changed, 0 insertions, 0 deletions