> Am 18.06.2020 um 19:48 schrieb 'Gavin Mogan' via Jenkins Developers > <jenkinsci-dev@googlegroups.com>: > > > Puh, that is a lot. That means we already cerated a mess for our users by > > providing two different tools for the same thing :-( > > Which is why I want to know what and how we want to support things officially > so I can add it to the plugin site. >
Wouldn’t it then make sense that the people who want officially support GitHub as a second issue tracker would make that an agenda topic for the next governance meeting? So we can finally come to an official statement? Otherwise this thread will continue indefinitely. -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/EFE72EBF-2AD3-4F12-9879-8A3864CD643D%40gmail.com.
