[core-workflow] GitHub migration scheduled for Friday, Feb 10