Git: Remplacer une branch distante

Situation initiale Imaginez que vous travaillez sur une branche develop, qui donc contient les toutes dernières modifications, et une autre branche demo. Disons que cette dernière »