]> git.ipfire.org Git - thirdparty/git.git/commitdiff
projects / thirdparty / git.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 35a62bb eb20e63)
Merge branch 'jk/branch-delete-detached'
authorTaylor Blau <me@ttaylorr.com>
Fri, 18 Nov 2022 23:44:00 +0000 (18:44 -0500)
committerTaylor Blau <me@ttaylorr.com>
Fri, 18 Nov 2022 23:44:00 +0000 (18:44 -0500)
Fix a bug where `git branch -d` did not work on an orphaned HEAD.

* jk/branch-delete-detached:
  branch: gracefully handle '-d' on orphan HEAD


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.