Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch]

[Eli Zaretskii]

> From: Andrea Corallo <acorallo@gnu.org>
> Cc: Pip Cet <pipcet@protonmail.com>,  Gerd Möllmann
>  <gerd.moellmann@gmail.com>,  Eli Zaretskii <eliz@gnu.org>,
>   yandros@gmail.com,  ofv@wanadoo.es,  Stefan Kangas
>  <stefankangas@gmail.com>
> Date: Thu, 16 Jan 2025 16:28:33 -0500
> 
> just to mention that 'scratch/igc' has been pushed as 'feature/igc' and
> the original branch removed.

Thanks.

> git checkout scratch/igc
> git branch --set-upstream-to=feature/igc
> git branch -m feature/igc

This doesn't work:

  $ git checkout scratch/igc
  Already on 'scratch/igc'
  Your branch is up-to-date with 'origin/scratch/igc'.

  $ git branch --set-upstream-to=feature/igc
  error: the requested upstream branch 'feature/igc' does not exist
  hint:
  hint: If you are planning on basing your work on an upstream
  hint: branch that already exists at the remote, you may need to
  hint: run "git fetch" to retrieve it.
  hint:
  hint: If you are planning to push out a new local branch that
  hint: will track its remote counterpart, you may want to use
  hint: "git push -u" to set the upstream config as you push.

Trying "git fetch" didn't help.

Here's what did work for me:

  $ git fetch origin feature/igc
  $ git checkout feature/igc
  $ git pull