Stefan Beller
d228eea514
worktree: accept -f as short for --force for removal
...
Many commands support a "--force" option, frequently abbreviated as
"-f", however, "git worktree remove"'s hand-rolled OPT_BOOL forgets
to recognize the short form, despite git-worktree.txt documenting
"-f" as supported. Replace OPT_BOOL with OPT__FORCE, which provides
"-f" for free, and makes 'remove' consistent with 'add' option
parsing (which also specifies the PARSE_OPT_NOCOMPLETE flag).
Helped-by: Eric Sunshine <sunshine@sunshineco.com >
Signed-off-by: Stefan Beller <sbeller@google.com >
Signed-off-by: Junio C Hamano <gitster@pobox.com >
2018-04-18 09:19:05 +09:00
..
2018-03-22 14:36:51 -07:00
2018-03-14 12:01:06 -07:00
2017-11-13 13:25:19 +09:00
2018-02-08 14:20:43 -08:00
2018-03-29 15:39:59 -07:00
2018-03-14 12:01:02 -07:00
2018-02-09 13:10:13 -08:00
2017-11-17 10:31:05 +09:00
2018-03-06 14:54:02 -08:00
2017-11-02 14:51:24 +09:00
2017-11-13 10:51:14 +09:00
2017-11-02 14:51:24 +09:00
2017-12-06 09:23:36 -08:00
2018-01-10 15:08:14 -08:00
2017-12-19 10:00:45 -08:00
2017-12-13 13:28:57 -08:00
2017-12-05 11:30:38 -08:00
2017-12-22 13:10:24 -08:00
2018-02-21 14:27:30 -08:00
2018-02-05 10:30:44 -08:00
2017-12-19 11:17:16 -08:00
2018-02-09 13:10:13 -08:00
2017-10-19 14:45:45 +09:00
2017-11-15 12:14:32 +09:00
2017-10-18 14:19:12 +09:00
2018-03-15 10:16:24 -07:00
2018-03-22 14:24:21 -07:00
2017-11-22 13:18:59 +09:00
2017-10-01 17:23:05 +09:00
2017-11-09 12:28:30 +09:00
2017-11-06 14:24:24 +09:00
2017-12-06 09:23:40 -08:00
2017-12-22 13:30:52 -08:00
2017-12-08 09:52:42 -08:00
2017-11-22 12:29:30 +09:00
2017-10-24 09:57:54 +09:00
2018-02-15 15:18:14 -08:00
2018-03-06 14:54:02 -08:00
2017-11-22 12:24:47 +09:00
2018-02-09 13:10:12 -08:00
2017-11-22 14:11:57 +09:00
2017-10-28 10:18:40 +09:00
2018-03-06 00:18:00 -08:00
2018-01-30 13:12:18 -08:00
2018-03-27 19:09:13 -07:00
2018-03-22 14:24:23 -07:00
2018-01-16 11:34:36 -08:00
2018-02-07 12:46:48 -08:00
2018-03-22 14:24:21 -07:00
2018-04-18 09:19:05 +09:00
2018-03-15 15:00:46 -07:00
2018-03-21 11:30:15 -07:00
2017-12-27 11:16:21 -08:00
2018-02-02 10:56:46 -08:00
2017-12-05 09:46:05 -08:00
2017-12-06 09:23:43 -08:00
2018-03-22 14:24:26 -07:00
2017-12-27 11:16:25 -08:00
2017-10-18 14:19:12 +09:00
2017-12-12 16:49:40 -08:00
2018-01-25 11:24:32 -08:00
2017-12-12 10:51:38 -08:00
2018-02-16 11:22:43 -08:00
2018-03-21 11:30:13 -07:00
2018-03-08 12:36:29 -08:00
2017-10-18 05:59:34 +09:00
2017-12-05 10:20:51 -08:00
2018-02-13 13:39:03 -08:00
2017-12-04 08:25:06 -08:00
2018-01-09 14:32:54 -08:00
2017-12-06 07:32:40 -08:00