mirror of
https://github.com/martinvonz/jj.git
synced 2025-05-23 08:01:12 +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.