Skip to content

Detached HEAD Support - #376

Merged
ednolan merged 1 commit into
mainfrom
rleahy
Aug 3, 2026
Merged

Detached HEAD Support#376
ednolan merged 1 commit into
mainfrom
rleahy

Conversation

@RobertLeahy

Copy link
Copy Markdown
Contributor

Resolves #375.

@ednolan
ednolan merged commit 1b0e5d2 into main Aug 3, 2026
11 checks passed
@ednolan
ednolan deleted the rleahy branch August 3, 2026 18:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Support running on detached HEAD

2 participants