Repository navigation

Ci/avoid duplicate pr builds - #4

Merged

mcepl merged 3 commits into

mainfrom

ci/avoid-duplicate-pr-builds

Oct 29, 2026

Merged

Ci/avoid duplicate pr builds#4
mcepl merged 3 commits into
mainfrom
ci/avoid-duplicate-pr-builds

Commits on Oct 29, 2026
- ci: avoid duplicate builds for pull request branches
  mcepl
  committed
  d961c8f
- feat(flatpak): replace tea with the Gitea CLI gt
  mcepl
  committed
  a2ef74b
- docs: explain optional GPG and SSH agent overrides
  mcepl
  committed
  497cc6a