diff options
| author | Rubén Justo <rjusto@gmail.com> | 2024-01-11 13:40:34 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2024-01-11 17:15:54 -0800 |
| commit | bec9bb4b3918d2b3c7b91bbb116a667d5d6d298d (patch) | |
| tree | 4de43a7fbb7d1443980368f5972957c0850b0904 /advice.h | |
| parent | eddd134ce3ad18c147fe0d0dc5e6b3118b8f61b8 (diff) | |
| download | git-bec9bb4b3918d2b3c7b91bbb116a667d5d6d298d.tar.xz | |
branch: make the advice to force-deleting a conditional one
The error message we show when the user tries to delete a not fully
merged branch describes the error and gives a hint to the user:
error: the branch 'foo' is not fully merged.
If you are sure you want to delete it, run 'git branch -D foo'.
Let's move the hint part so that it is displayed using the advice
machinery:
error: the branch 'foo' is not fully merged
hint: If you are sure you want to delete it, run 'git branch -D foo'
hint: Disable this message with "git config advice.forceDeleteBranch false"
Signed-off-by: Rubén Justo <rjusto@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'advice.h')
| -rw-r--r-- | advice.h | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -21,6 +21,7 @@ enum advice_type { ADVICE_DETACHED_HEAD, ADVICE_DIVERGING, ADVICE_FETCH_SHOW_FORCED_UPDATES, + ADVICE_FORCE_DELETE_BRANCH, ADVICE_GRAFT_FILE_DEPRECATED, ADVICE_IGNORED_HOOK, ADVICE_IMPLICIT_IDENTITY, |
