CI: Auto-remove closed PRs from staging #40

Merged
june merged 2 commits from feature/ci-staging-comment into main 2024-01-28 20:04:01 +01:00