We should move coala repositories to GitLab

I don't see anyone putting in effort anytime soon

Appeal To Belief

dependency management 0.4 was that 'effort'. You didnt see it?

We should move coala repositories to GitLab

gitlab.com runs proprietary software, the enterprise edition. GitLab is not open source.

Fallacy Of The Beard

GitLab is infinitely more open source than GitHub. That they have two editions and slightly more features for the Enterprise edition, doesnt discount the fact that using GitLab is supporting an open source tool.