Copy from git@github.com:mbedmicro/mbed.git.