detached f4b663e

ci: remove dev from push trigger to avoid duplicate runs

commit
f4b663e08f81d14ae6c649d9f4c4747dd8157726
author
bnema · · 2025-12-25 19:07 UTC
parent
c7c30b4
signature
GPG Unverified2B82207D370127A0 The key is unknown
1 file · +1 -1
M .github/workflows/ci.yml +1 -1
@@ -2,7 +2,7 @@ name: CI
22
33 on:
44 push:
5- branches: [dev, main]
5+ branches: [main]
66 paths:
77 - '**.go'
88 - 'go.mod'
@@ -2,7 +2,7 @@ name: CI
2 2
3 on:3 on:
4 push:4 push:
5- branches: [dev, main]5+ branches: [main]
6 paths:6 paths:
7 - '**.go'7 - '**.go'
8 - 'go.mod'8 - 'go.mod'

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 8

Tags 42

↑↓ moveenter openesc close