(21-12-19, 18:22)pascal a écrit : Il te manque un "git fetch" peut-être? ...
Hello Pascal,
Du coup, je nage un peu dans le yaourt entre "fetch" et "pull". Jusqu'à présent, j'utilisais plutôt "pull", pensant que les différences étaient ensuite propagées par un merge automatique dans ma copie locale (celle qui va être compilée et qui résulte du checkout <branche> initial).
Après un fetch, ma compréhension de la doc me laissait penser qu'il fallait toujours réaliser un merge pour que les différences soient prises en compte dans la copie locale.
Aurais-tu la gentillesse de m'éclairer succinctement ?
D'avance merci
Cordiales salutations