Lukas May a86a373d42 fix: Handle push to checked-out branch in local non-bare repos ...

git refuses to push to a branch that is currently checked out in a
non-bare repository. When the clone's origin is the user's local repo,
this blocks merge_and_push entirely.

On "branch is currently checked out" error, temporarily set
receive.denyCurrentBranch=updateInstead on the remote and retry.
This uses git's built-in mechanism to update the working tree safely
(rejects if dirty).

2026-03-06 12:37:21 +01:00

9.7 KiB

Raw Blame History

View Raw