[Repeating to the list, as this was bounced by the modbot]Honestly, to cut things short, I think we should go with GitHub and pay them for enterprise support, if they'll take our money.-- --Guido van Rossum (python.org/~guido)-- --Guido van Rossum (python.org/~guido)