Alter the repo name when 'git clone'ing