Le 03/06/2018 à 00:04, Jussi Lahtinen a écrit : > I did first "git pull", then the checkout. Should I do it again? > > > Jussi > I don't know. I thought 'git pull' would have downloaded the new branches. Try to clone the repository from scratch. You will get all the branches that way. Regards, -- Benoît Minisini