docs: def deploy_branch_exists(deploy_branch):
      """
      Check if there is a remote branch with name specified in ``deploy_branch``.
  
      Note that default ``deploy_branch`` is ``gh-pages`` for regular repos and
      ``master`` for ``github.io`` repos.
  
      This isn't completely robust. If there are multiple remotes and you have a
      ``deploy_branch`` branch on the non-default remote, this won't see it.
      """
      remote_name = 'doctr_remote'
      branch_names = subprocess.check_output(['git', 'branch', '-r']).decode('utf-8').split()
  
      return '{}/{}'.format(remote_name, deploy_branch) in branch_names