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

Author	SHA1	Message	Date
jtbx	d5fc2adfe1	CI: Post staging URL to PR once (on open event) All checks were successful / build (pull_request) Successful in 38s Details / cleanup-staging (pull_request) Successful in 1s Details / build (push) Successful in 13s Details	2024-01-28 13:04:48 +01:00
jtbx	b1e4e69be2	CI: Auto-remove closed PRs from staging	2024-01-28 13:02:05 +01:00