> Can we add a message on the wiki concerning the new repository ? We should > also make the old wiki non-editable again, and advise to propose a Pull > Request instead.
Sure thing, when the new repository has a pipeline hosting the contents using GitHub pages or something.
