diff options
| author | Junio C Hamano <gitster@pobox.com> | 2023-04-18 04:05:12 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2023-04-18 04:05:12 +0300 |
| commit | 66bf8f19439556da7cf1c8852d07b87257f2a7d9 (patch) | |
| tree | 9964ee59639b782a430f1c7c62725c1cd3541076 /parse-options.h | |
| parent | c232ebacb21829e5001361280b8dec7c30c3a057 (diff) | |
| parent | 4c643fb321db00a9c79e2dcd1fd033681333584b (diff) | |
Merge branch 'cm/branch-delete-error-message-update'
"git branch -d origin/master" would say "no such branch", but it is
likely a missed "-r" if refs/remotes/origin/master exists. The
command has been taught to give such a hint in its error message.
* cm/branch-delete-error-message-update:
branch: improve error log on branch not found by checking remotes refs
Diffstat (limited to 'parse-options.h')
0 files changed, 0 insertions, 0 deletions