rename_git_repo: Rename git repo code
Description
Command line (bash) syntax for renaming a git repo
Usage
rename_git_repo(new_url = NULL)
Arguments
new_url
Optional, URL pointing to correct (renamed) repo. If NULL
(default), "new_url" is printed in brackets.
Value
text of git command to rename git repo