I have re-enabled the bug tracker on savannah. Please let me know if there is an issue. I would recommend that new bugs be submitted on github. I am looking into how to increase your rights now.
[image: Mailtrack] <https://mailtrack.io?utm_source=gmail&utm_medium=signature&utm_campaign=signaturevirality5&> Sender notified by Mailtrack <https://mailtrack.io?utm_source=gmail&utm_medium=signature&utm_campaign=signaturevirality5&> 11/12/19, 07:10:23 PM On Tue, Nov 12, 2019 at 10:55 AM Gregory Casamento <greg.casame...@gmail.com> wrote: > Github > > On Tue, Nov 12, 2019, 10:13 AM Stefan Bidigaray <stefanb...@gmail.com> > wrote: > >> Hi Everyone, >> I hate having to revive this discussion, but I need some clarification. >> What is our official bug tracking platform? At the end of the thread from a >> few weeks ago, it seemed that nothing had been officially decided. Some >> developers said Savannah, some said GitHub, and others said git-bug. >> >> The issue tracker for CoreBase is currently disabled in GitHub, and I do >> not have admin rights (I'm perfectly fine without it). If the agreed >> solution is GitHub, can we get the issue tracking facility turned on for >> all sub-projects? If it is Savannah, can someone please confirm that this >> is the case? >> >> I haven't worked on CoreBase in quite a long time (about 2 years) due to >> lack of downstream interest. But now, at least 1 developer has voiced >> interest in submitting bug reports, and I do not know what the official >> official bug tracker is. >> >> Regards >> Stefan >> > -- Gregory Casamento GNUstep Lead Developer / OLC, Principal Consultant http://www.gnustep.org - http://heronsperch.blogspot.com http://ind.ie/phoenix/