mirror of
https://github.com/martinvonz/jj.git
synced 2025-05-28 02:21:12 +00:00
Since forgotten branches are now removed at all, the only situation where @git branch persists is that the branch got removed but is not exported yet.