Il giorno mar 11 set 2018 alle ore 15:05 Stefano Ceccherini <
stefano.ceccherini@xxxxxxxxx> ha scritto:
Il giorno mar 11 set 2018 alle ore 15:04 Adrien Destugues <
pulkomandy@xxxxxxxxxxxxx> ha scritto:
It's only a remote branch if you didn't create a matching local one
git branch -lr will show remote branches
git checkout r1beta1 will create a branch named r1beta1, and depending on
your git config, will set it up to match the remote of the same name.
Yeah, it's the first thing I did (I use git with branches also in my
projects), but that made it enter "detached HEAD" mode, so it seems it
didn't match the remote branch.
Ok, solved by doing a git checkout -b r1beta1 --track origin/r1beta1