@show @neingeist unqualifizierter Einwurf: GitHub?! 😜
@Cs137 @neingeist Glaube der @shezi hat ein eigenes gitlab, aber ich ( @jochen ) habe eh schon mehr Kram, als ich maintainen kann. Also was ich an den github issues tatsächlich nicht so toll finde, ist, dass die nicht selbst Teil des Repositories sind, d.h. sollte man irgendwann mal gezwungen sein, umzuziehen, ist das alles weg.
@show @jochen @neingeist @Cs137 Ja, ich habe mein eigenes Gitlab für die ganz privaten Sachen, ein öffentliches gitlab.com-Profil für die öffentlichen Sachen und ein github.com-Profil für die sichtbaren Sachen. Das ist es halt, weil GH der Platzhirsch ist, braucht man die Sachen dort, damit sie auch gefunden werden. Und das ist dann halt eine Abwägung, ob man dafür bei Copilot mitwirken möchte.