jj: don't advance bookmarks on pull, don't fetch tags
diff --git a/.config/jj/.gitignore b/.config/jj/.gitignore
index d2509632..a8f0f4c4 100644
--- a/.config/jj/.gitignore
+++ b/.config/jj/.gitignore
@@ -1 +1,2 @@
-repos/*
+/repos
+/workspaces
diff --git a/.config/jj/config.toml b/.config/jj/config.toml
index 2c1bff0b..844ccbe2 100644
--- a/.config/jj/config.toml
+++ b/.config/jj/config.toml
@@ -160,12 +160,6 @@ pull = ["util", "exec", "--", "bash", "-c", """
--onto "trunk()" \
--simplify-parents
jj sweep
- # Then pull each stack's bookmark up to its tip. heads(pushable()) drops the
- # megamerge and everything above a private commit, leaving the stacks themselves.
- jj log --no-graph -r 'heads(pushable())' -T 'change_id ++ "\\n"' |
- while read -r tip; do
- jj bookmark advance --to "$tip"
- done
"""]
# https://github.com/jj-vcs/jj/discussions/3549
@@ -190,3 +184,4 @@ auto-update-stale = true
[remotes.origin]
auto-track-bookmarks = "alpha/*"
+fetch-tags = '~*'