create another post to redirect people to the new community (probably locking the previous community temporarily to ensure that people would go to the new one) on the new instance
We can indeed also rename the community while it is locked to make sure that people get the message.
It could be permanent, I said temporary because we could always reevaluate after a few weeks.
I was just thinking about when !android got locked because !android was created, and then people complained that they wanted both to coexist.
I guess if once the vote is done, the 13 or so people who want to keep in on LW want to be able to reopen it once the migration is over, that could be discussed.
create another post to redirect people to the new community (probably locking the previous community temporarily to ensure that people would go to the new one) on the new instance