detached 8a13141

release: use rare opt-out token that prose won't match

the previous guard string kept matching because i literally mentioned
it in my own commit messages when documenting the feature. switched
to a form with an equals sign that will never appear in ordinary
english.
commit
8a13141ace5cae3abb2bfb96a74b0e96b68d0e77
author
patriceckhart · · 2026-04-18 09:23 UTC
parent
4d847ec
signature
unsigned
refs
tag: v0.0.2
1 file · +5 -5
M .github/workflows/release.yml +5 -5
@@ -9,10 +9,10 @@ name: release
99 # (amd64 + arm64) and attaches them plus checksums.txt to a fresh
1010 # GitHub Release page
1111 #
12-# Skip a release by putting [skip-release] anywhere in the commit
13-# message (note the hyphen) — useful for docs-only or ci-only
14-# commits. We use [skip-release] rather than [skip release] so that
15-# commits that merely *mention* the phrase don't accidentally opt out.
12+# Skip a release by putting [release=skip] anywhere in the commit
13+# message — useful for docs-only or ci-only commits. We use a rare
14+# equals-sign form so commits that merely *mention* the feature
15+# ("make the release step optional") don't accidentally opt out.
1616 on:
1717 workflow_run:
1818 workflows: [ci]
@@ -33,7 +33,7 @@ jobs:
3333 release:
3434 # Only run when ci succeeded and we're on main, and when the head
3535 # commit doesn't opt out via [skip-release].
36- if: ${{ github.event.workflow_run.conclusion == 'success' && github.event.workflow_run.head_branch == 'main' && !contains(github.event.workflow_run.head_commit.message, '[skip-release]') }}
36+ if: ${{ github.event.workflow_run.conclusion == 'success' && github.event.workflow_run.head_branch == 'main' && !contains(github.event.workflow_run.head_commit.message, '[release=skip]') }}
3737 runs-on: ubuntu-latest
3838 steps:
3939 - name: checkout
@@ -9,10 +9,10 @@ name: release
9 # (amd64 + arm64) and attaches them plus checksums.txt to a fresh9 # (amd64 + arm64) and attaches them plus checksums.txt to a fresh
10 # GitHub Release page10 # GitHub Release page
11 #11 #
12-# Skip a release by putting [skip-release] anywhere in the commit12+# Skip a release by putting [release=skip] anywhere in the commit
13-# message (note the hyphen) — useful for docs-only or ci-only13+# message — useful for docs-only or ci-only commits. We use a rare
14-# commits. We use [skip-release] rather than [skip release] so that14+# equals-sign form so commits that merely *mention* the feature
15-# commits that merely *mention* the phrase don't accidentally opt out.15+# ("make the release step optional") don't accidentally opt out.
16 on:16 on:
17 workflow_run:17 workflow_run:
18 workflows: [ci]18 workflows: [ci]
@@ -33,7 +33,7 @@ jobs:
33 release:33 release:
34 # Only run when ci succeeded and we're on main, and when the head34 # Only run when ci succeeded and we're on main, and when the head
35 # commit doesn't opt out via [skip-release].35 # commit doesn't opt out via [skip-release].
36- if: ${{ github.event.workflow_run.conclusion == 'success' && github.event.workflow_run.head_branch == 'main' && !contains(github.event.workflow_run.head_commit.message, '[skip-release]') }}36+ if: ${{ github.event.workflow_run.conclusion == 'success' && github.event.workflow_run.head_branch == 'main' && !contains(github.event.workflow_run.head_commit.message, '[release=skip]') }}
37 runs-on: ubuntu-latest37 runs-on: ubuntu-latest
38 steps:38 steps:
39 - name: checkout39 - name: checkout

Keyboard shortcuts

Single-key shortcuts are on. ctrl k and esc work whatever this says.

ctrl k :
go to a section, branch, tag, file or repository
?
this list
j k
move the row cursor down / up
enter
open the row under the cursor; on Files, a directory opens or closes in place
↑ ↓ ← → home end
in the file tree (focus on a row): previous / next row, close / open a directory or go to its parent / first entry, first / last row. They never open a file
l h
on Files: open a directory or a file / close a directory or go up to its parent, then to the parent page. Elsewhere: into the side panel (on a merge request, its files) / back to the content; there j k move between its controls
g g G
first / last row
/
filter the list; on Files, find a file anywhere in the repository (esc clears, enter opens the best match)
b
switch branch or tag
g s g f g c g b g m g i g r g a
tabs: summary, files, commits, branches & tags, merge requests, issues, releases, actions (when available)
g h
home
w
wide mode: use the whole width of the screen, or not (remembered)
y
copy a permalink pinned to the commit
d u x
diff: split / unified / collapse or expand all
e E
diff: the whole file in view / every file, with the lines the hunks hide
n
merge request: next note in the diff
esc
close a dialog, leave a field

Branches 1

Tags 476

↑↓ moveenter openesc close