docs: def get_url(self):
          """
          Assuming that the repo has been cloned locally, get its default
          upstream URL.
          """
          cmd = {
              'hg': 'hg paths default',
              'git': 'git config --local --get remote.origin.url',
          }[self.vcs_type]
          with chdir(self.folder):
              r = self.run(cmd)
          return r.output.replace('\n', '')