detached ae76d4b

ci(release): skip the release job on the GitHub mirror

commit
ae76d4bd1be3ef8ae9c835e855f70bc30d455a2c
author
brice · · 2026-10-22 06:01 UTC
parent
fe6c13d
signature
GPG VerifiedCD88F9E564E0102646FB6077A1A07C7C7C3E349D · arch-gpg Verified for the committer email
checks
4/4
refs
main
1 file · +3 -0
M .github/workflows/release.yml +3 -0
@@ -10,6 +10,9 @@ permissions:
1010
1111 jobs:
1212 release:
13+ # Releases are published by ermite (git.bnema.dev); the GitHub mirror
14+ # receives the tags but must not publish a second release.
15+ if: github.server_url != 'https://github.com'
1316 runs-on: ubuntu-latest
1417 steps:
1518 - uses: actions/checkout@v4
@@ -10,6 +10,9 @@ permissions:
10 10
11 jobs:11 jobs:
12 release:12 release:
13+ # Releases are published by ermite (git.bnema.dev); the GitHub mirror
14+ # receives the tags but must not publish a second release.
15+ if: github.server_url != 'https://github.com'
13 runs-on: ubuntu-latest16 runs-on: ubuntu-latest
14 steps:17 steps:
15 - uses: actions/checkout@v418 - uses: actions/checkout@v4

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 5

↑↓ moveenter openesc close