mirror of
https://github.com/martinvonz/jj.git
synced 2025-05-19 22:23:14 +00:00
As we can set HEAD to an arbitrary ref by using .reference_symbolic(), we don't have to manage a ref that can also be valid as a branch name. Fixes #1495