how to rename a repo in github code example

Example: rename github repository command line

$ git remote set-url origin new_url