Replies: 2 comments
-
|
I tried again with another branch, and this time it got detected. I merged Bookmark |
Beta Was this translation helpful? Give feedback.
-
|
I ran into this too. Here was the repo state: you can see the last 4 commits from 'wip' were rebased onto origin. When I used jj to rebase the A workaround that worked was to use |
Beta Was this translation helpful? Give feedback.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
-
I have a repository on GitHub that has the settings "Allow rebase merging" and "Automatically delete head branches". Using
jj0.24.0, I create PRs withjj git push -C @(from non-empty commit) and once PR is approved and CI passes, I click "Rebase and merge" in the GitHub web interface. Afterjj git fetch, my local branch is still there even though all the changes are inmain@originbookmark already. How to get rid of duplicate changes locally? WithgitI would just delete local branch, but withjjI have anonymous branch that clutters the log. Also withgitif I try to rebase it on top ofmain,gitrecognizes that changes are already merged and drops "cherry-picked" commits, whilejjgenerates conflicts.Beta Was this translation helpful? Give feedback.
All reactions