repo_rename renames repositories. Use with caution as repositories retain their
unique identifier upon renaming and can be accessed under their old names due to
GitHub re-directing.
Usage
repo_rename(repo, new_name)
Arguments
repo
Character. Address of repository in "owner/name" format.
new_name
Character. New name of repository in the "name" format.