The name of the Git repository to use for pushing.