detached ae76d4b

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

state
merged · ae76d4b · fast-forward
branch
ci/skip-github-release → main
opened
bnema ·
updated

Releases are published on ermite; the mirror must not create draft releases.

1 file · +3 -0
Split
UnifiedSplit
4/4
⋯

Merge settings

modes
fast-forward, squash, merge commit
checks
failing or unfinished checks block the merge
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

Comments0 open / 0

no comments yet.

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
l
merge request: the list of files (j k move, enter opens, esc back)
M
merge request: the merge menu; there 1–3 pick the mode, D deletes the branch, enter merges
R
merge request: mark the head read
esc
close a dialog, leave a field

Branches 1

Tags 5

↑↓ moveenter openesc close