can you rename a repository in github code example Example: rename github repository command line $ git remote set-url origin new_url