Skip to content

Allow detached HEAD as push source - #30

Merged
odrobnik merged 2 commits into
mainfrom
agent/issue-29
Jul 15, 2026
Merged

Allow detached HEAD as push source#30
odrobnik merged 2 commits into
mainfrom
agent/issue-29

Commits

Commits on Jul 15, 2026