[jonathanlydall]

> You can’t push changes to a non-bare repo – if you try, Git will reject your push.

You can push to a folder with a non-bare Git repo, it’s just that you can’t push the same branch which it has checked out.

Or in other words, if you get an error when trying to push to a folder with a checked out repo, push to a different remote branch.

(I do this regularly between WSL and the Windows host)