Re: [core-workflow] Planning the GitHub migration