docs: Git does not use bookmarks

jj-vcs · Dec 20, 2024 · 07e01c1 · 07e01c1
1 parent 85adde9
commit 07e01c1
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/docs/github.md b/docs/github.md
@@ -67,8 +67,10 @@ changes.
 ## Working in a Git co-located repository
 
 After doing `jj git init --colocate`, Git will be in a [detached HEAD
-state][detached], which is unusual, as Git mainly works with bookmarks. In a
-co-located repository, every `jj` command will automatically synchronize
+state][detached], which is unusual, as Git mainly works with named branches; jj
+does not.
+
+In a co-located repository, every `jj` command will automatically synchronize
 Jujutsu's view of the repo with Git's view. For example, `jj commit` updates the
 HEAD of the Git repository, enabling an incremental migration.