Sollte #gitlab nicht eigentlich die weniger kommerzielle Alternative zu #github sein, nachdem Microschuft das übernommen hat? Ich meine, so macht man sich jetzt auch nicht wirklich neue Freunde.