mirror of
https://github.com/martinvonz/jj.git
synced 2025-05-05 23:42:50 +00:00
This means that the commits previously pinned by remote branches are no longer abandoned. I think that's more correct since "push" is the operation to propagate local view to remote, and uninteresting commits should have been locally abandoned.