OTTOMH, that would depend on whether it's more work to:
- reimplement whatever needs to be using the "new and improved" Github features that will replace Github Services,
- or change everything to use whichever equivalent services Bitbucket provides, if any (and there's a lot to be changed, including editing the dev-docs sections of the wiki that reference Github, which is a lot of them).
I have not investigated the issue in any depth, and have no idea which solution is more work, but I think it's nowhere near a foregone conclusion in favor of Bitbucket.
no subject
- reimplement whatever needs to be using the "new and improved" Github features that will replace Github Services,
- or change everything to use whichever equivalent services Bitbucket provides, if any (and there's a lot to be changed, including editing the dev-docs sections of the wiki that reference Github, which is a lot of them).
I have not investigated the issue in any depth, and have no idea which solution is more work, but I think it's nowhere near a foregone conclusion in favor of Bitbucket.