W.r.t. the choice of sourceforge for git: - we already have it running and tested there - there is no obviously superior alternative. If we switch every time we find something that is 10% better, we'll never get stability and a decision in place.
Does anyone know a git hosting alternative that is that much better than sourceforge that we *must* consider switching? If someone gave me static web pages, kick-ass mailing lists, git better than http://repo.or.cz/ and an excellent service record all in one site, I would be excited. -- Øyvind Harboe http://www.zylin.com/zy1000.html ARM7 ARM9 ARM11 XScale Cortex JTAG debugger and flash programmer _______________________________________________ Openocd-development mailing list Openocd-development@lists.berlios.de https://lists.berlios.de/mailman/listinfo/openocd-development
