Right, I get that it can be useful, I was just interested if there was any indications of gitlab being used in NK. Considering Red Star OS (the NK linux distro) it wouldn't be unimaginable if there was a gitlab fork or a few gitlab.com repos used by NK.