I fear we are cluttering the downstream repos with PRs that nobody closes and/or makes it harder for maintainers there to work through the actual PRs that matter. So the workflow should close the downstream PR once the PR here is merged to avoid them lingering around and require manual closing.