On 21/07/15 12:28, Brian Drummond wrote: [...] > That's not to say we shouldn't jump to github : just to say, let's talk
it through - and as long as we stay at SF, let's keep an eye on the crapware situation.
I agree. No need to hurry up. github is certainly more trendy than SF, but migrating has a cost: we loose tickets, we need to migrate wiki, we confuse users and that takes time. Having a mirror might be the best short-term solution. Tristan. _______________________________________________ Ghdl-discuss mailing list [email protected] https://mail.gna.org/listinfo/ghdl-discuss
