Is there a reason why we use our own buildbot and not one of the infra supported ones, like e.g. Continuum.
Sharing servers with other and having other people maintain the build routines should be to our advantage. Or do I see life in the wrong light ? rgds Jan I
