Re: Petite question Git

> Bonsoir,
>
> Grand merci à Edgar (et à Samuel) pour toutes ces explications, même si
> ces remerciements viennent avec pas mal de retard. Tout cela nous a bien
> aidés, et la situation a finalement été rattrapée avec un simple "git
> push --force origin master" de mon côté, et un "git pull --force origin"
> du côté du collègue.
>
> « Que le --force soit avec toi ! », en quelque sorte...    ;-)
>
> Et nous n'avons rien perdu du travail qui a été fait depuis, parce qu'en
> attendant de tester le conseil d'Edgar, nous avons travaillé sur autre
> chose... sans commiter. Oui, je sais, c'est travailler sans filet, mais
> sur un sous-projet annexe, maintenant fusionné dans master.
>
> Mon collègue n'a pas continué de travailler dans la branche sale, donc
> pas de problème (ça nous aura servi de leçon à tous les deux), et comme
> le dépôt n'est (pas encore) public, il n'y a pas non plus de problème
> avec quelqu'un d'extérieur. Bref, on s'en tire (très) bien pour cette
> fois-ci.

Il y a une commande git qui permet de mettre de côté des trucs qui
peuvent toujours servir.

Je t'invite à regarder le manuel :
man git stash

Et bonne journée !

--
Marc BERLIOUX
Mieux vaut avoir l'air sans l'effet que l'effet sans l'air