I would be very much in favor of moving all issue tracking to GitHub. I think it should provide sufficient features while being easy to work with, and it integrates well with pull requests on GitHub. But most importantly it will expose issues right where people are looking for it, hopefully leading to more activity.
Frederik > Am 20.11.2019 um 05:29 schrieb Gregory Casamento <[email protected]>: > > Hey guys, > > I just realixed... there is a way to download the bugs from savannah. > Additionally there is an API for interfacing with the bug system on github. > The various ids (for groups or subprojects... gui, base, etc) can be > discovered easily. > > If this is something we would like to do, then I can write the script to do > the transition. I may try an initial run on gorm's repo just to test it out. > > > This would not necessarily mean shutting down the bug tracker at savannah... > we would just need to keep them in sync. > > Any thoughts? > > Yours, GC > -- > Gregory Casamento > GNUstep Lead Developer / OLC, Principal Consultant > http://www.gnustep.org <http://www.gnustep.org/> - > http://heronsperch.blogspot.com <http://heronsperch.blogspot.com/> > http://ind.ie/phoenix/ <http://ind.ie/phoenix/>
