🐛 Staging servers of scheduled PRs don't get automatically destroyed

[Marigold]

PRs that are scheduled with /schedule command and run via Merge Schedule Github action don't have their corresponding staging servers destroyed. Github action for destroying staging servers is triggered after PR is closed

on:
    pull_request:
        types:
            - closed

However, PRs merged automatically via Merge schedule action don't trigger it.

I looked into it for about an hour and couldn't find an easy solution. It should be possible to programmatically get scheduled PRs, but hooking it up with another workflow is non-trivial.

From time to time, I'm manually running a script that goes over all zombie staging servers and destroys them. That should be enough if we don't find an elegant solution.

cc @lucasrodes