[core-workflow] Update on the GitHub migration