mx repo converted to git

[Doug Simon]

Hi,

We have moved the mx repo to git and it will now be hosted on github. All future development of mx will now be via this github repo.

To adjust for this change, you should delete your current local mx repo and replace it by cloning from github:

git clone https://github.com/graalvm/mx.git

Future changes to mx should be submitted as pull requests to the github repo. The bitbucket mx repo will be deleted in a few days to give everyone time to update URLs in documentation, tools and continuous integration systems that reference or pull mx.

Note that if you have mx.mx/env in your hg mx repo, you should copy it to the new git mx repo.

-Doug