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

[Andrea Corallo]

Hi all,

just to mention that 'scratch/igc' has been pushed as 'feature/igc' and
the original branch removed.

Developers and users can track and push the new branch.

Depending on your git workflow you can/want to do that in different
ways.  Stefan Kangas suggested to make the existing local 'scratch/igc'
branch track the new one:

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

Bests!

  Andrea