renaming a github repo code example

Example: rename github repository command line

$ git remote set-url origin new_url