Skip to content

Commit f5cc231

Browse files
committed
disable push in release.toml (jj detached HEAD workaround)
1 parent e3c2adf commit f5cc231

1 file changed

Lines changed: 6 additions & 0 deletions

File tree

release.toml

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,12 @@ verify = false
1010
# Allow releasing from main or detached HEAD (jj workflow)
1111
allow-branch = ["main", "HEAD"]
1212

13+
# Don't push — jj can't push detached HEAD. After running cargo-release, do:
14+
# jj bookmark set main -r 'git_head()'
15+
# jj git push
16+
# git push origin <tag>
17+
push = false
18+
1319
# dist expects tags in the form "v0.1.0" for a unified workspace release
1420
tag-name = "v{{version}}"
1521

0 commit comments

Comments
 (0)