Repository for publication

How do we plan to publish the repository? Will we use the current gitlab repo or move to github?

The problem with the internal gitlab instance is that external users cannot open issues. The advantage of it is that we already have CI. Can we somehow combine them?