Skip to content

ci: auto-close PRs that try to publish servers via the repo - #1393

Merged
rdimitrov merged 3 commits into
mainfrom
accidental-spark
Jul 9, 2026
Merged

rdimitrov merged 3 commits into
mainfrom
accidental-spark

Commits

  1. Commits on Jun 25, 2026