Cannot run jj git push #1957
Description
Description
On a colocated repo with Git, it seems I'm unable to run jj git push
git-playground (4344105) ❯ jj git push --change 43
Creating branch push-uxzzrmkpoqrl for revision 43
Branch changes to push to origin:
Add branch push-uxzzrmkpoqrl to 434410530c08
Error: failed to lock file '/foo/bar/git-playground/.git/refs/jj/git-push/434410530c0892d3b2e2abbcde610e8f165e2b81.lock' for writing: ; class=Os (2); code=Locked (-14)
Steps to Reproduce the Problem
Not quite sure what I did that messed up the repo and not sure how I can revert back to a good state.
Specifications
- Platform: OSX
- Version: 0.8.0