Since I'm planning a release, it occurs to me that this would be a
convenient moment to move this project. Did we decide to just migrate
things like this with no further discussion, or do we decide one by one?

Reply via email to