a mediawiki instance is running on a vps on wiki.devuan.org.
What to do with this machine? Our primary wiki seems to be on this gitlab on the devuan-project/devuan-project project wiki, so, basically my opinion is to use wiki.devuan.org as a documentation host, and let's document developement and organization infrastructure on gitlab.
Any suggestion? we will use wiki.devuan.org or we just drop this machine and redirect wiki.devuan.org to https://git.devuan.org/devuan/devuan-project/wikis/home?