> The savannah tickets page doesn't seem to be maintained. > > They'd still be on 2 different sites: repo.or.cz and shithub, which is worse > wqweto, who seems to not be active here, has that github repo > > I'd be in favor of referring to a bug report page, currently the help output > just refers to the ml, hence that page should at least be less of a hassle, > otherwise just use the ml. > > In terms of drastic changes.. moving from git to fossil, which include > tickets, > even without logging in first (unlike savannah), would be my preference. This > could also be partial, i.e. repo.or.cz for code, somewhere else for > hassle-free > submission of tickets. > > It's also possible to contribute a bug tracker to repo.or.cz.
I don't mind at all using Fossil; I have actually thought to seriously switch to it for good, because it combines so many things I need as a developer and quite frankly, it works wonders! _______________________________________________ Tinycc-devel mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/tinycc-devel
