mirror of
https://github.com/martinvonz/jj.git
synced 2025-05-31 23:25:09 +00:00
`refs/remotes/origin/*` are usually (remote-tracking) branches, but `refs/remotes/origin/HEAD` is not.
`refs/remotes/origin/*` are usually (remote-tracking) branches, but `refs/remotes/origin/HEAD` is not.