Stefanos via Tinycc-devel <[email protected]> wrote: > P.S.: Can we please transfer all tickets from > https://savannah.nongnu.org/bugs/?group=tinycc to > https://github.com/TinyCC/tinycc/ and retain the official repo at > http://repo.or.cz/w/tinycc.git ? > > It's so hard to report bugs or search for existing solutions that are > scattered > all over the internet. 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. _______________________________________________ Tinycc-devel mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/tinycc-devel
