Closing PRs on GitHub mirror