Route stale-PR follow-up by provider so merged GitLab MRs poll correctly#242

dhilgaertner merged 1 commit intomainradiusmethod/crow:mainfrom

feature/crow-241-merged-pr-pollingradiusmethod/crow:feature/crow-241-merged-pr-pollingCopy head branch name to clipboard