Hello, On Sun, Mar 04, 2018 at 10:49:00AM +0100, Freddie Chopin wrote: > Maybe it's time to move along? Github? It would host the repo, page and > files, the only thing it would _not_ support is the mailing list...
Github can't host website, can't host all of documentation pages and other files (no, github pages are not nearly enough, at least according to my understanding of this feature description it's not possible to host doxygen-generated files there), can't host mailing lists... Also, github is not reachable via IPv6. None of the other popular public Git hosting services seem to provide all the features desirable either, but I might have missed something. I am not sure we have the capacity to self-host all the needed infra either. My personal opinion about github is "meh", especially given their now-popular "special github pullrequest" software development methodology. That said, I'm ready to play along with whatever the maintainers choose/decide. -- Be free, use free (http://www.gnu.org/philosophy/free-sw.html) software! mailto:[email protected] ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ OpenOCD-devel mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/openocd-devel
