mv push_only.yml to another name in anticipation of adding PRs

This commit is contained in:
Henrik Ingo
2025-02-08 18:28:43 +02:00
parent ebac4dd875
commit cdc7f0f3e9