toyowata

Do this once:

$ git remote add upstream [email protected]:armmbed/mbed-os.git

And do this when need to sync:

$ git fetch upstream
$ git merge upstream/master
$ git push