def get_repo_name(repo_dir):
repo = git.Repo(repo_dir)<EOL>url = repo.remotes.origin.url<EOL>return url.split('<STR_LIT:/>')[-<NUM_LIT:1>].split('<STR_LIT>')[<NUM_LIT:0>]<EOL>
Takes a directory (which must be a git repo) and returns the repository name, derived from
remote.origin.url; <domain>/foo/bar.git => bar
:param repo_dir: path of the directory
:return: string