[core-workflow] last blocker for the GitHub migration is in!