Rename git repo code

Command line (bash) syntax for renaming a git repo

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