[core-workflow] Migration is done!

A massive thank you to everyone who helped with this. It has been a long road but we finally reached the end of it! As for what's next, I think getting Misc/NEWS straightened out and then getting cherry-picking PRs automated are the next important items. As always https://github.com/python/core-workflow/issues has the current ideas on how to improve our workflow.