I think that it would be better for DerivaDEX if you would use GitHub for everything which is intended for public (if you don’t want to switch over to it completely), for example DIPs, repositories, etc. It’s more popular than GitLab and most of people and investors only check GitHub (also most people has accounts there).
I remember that when I’ve worked at previous company, we tried to use GitLab for public repos and they didn’t really get as much attention as they were expected to get. Main reason for switch to GitHub.
If you really want to use GitLab, you can always mirror your repositories over to GitHub and vice-versa.