See the “Redirects and links from bpo to GitHub” section under “known issues”, particularly the last subpoint:
Plenty . Mostly between old issues and PRs. AFAIK all migrated issues would have wound up with a new GH- number. More details can be found here.