Le 19 septembre 2011 11:58, Cédric Boutillier cedric.boutillier@gmail.com a écrit :
On Mon, Sep 19, 2011 at 11:45:32AM +0200, D. Barbier wrote:
Vu ce qu'on fait, on n'a pas vraiment de raisons d'avoir de merges dans le dépôt git, donc il faudrait que tu exécutes cette commande : git config branch.master.rebase true de sorte que git pull fasse un rebase au lieu d'un merge.
Merci pour le conseil. C'est vrai qu'un merge, ça fait un peu désordre dans l'historique bien linéaire. Désolé :(
Pas de soucis, j'ai corrigé.
J'ai envoyé ma mise à jour de process.
Super.
On est donc à 100%. Je vais peut-être lancer la traduction de la version git de man-pages, il y a de nouvelles pages et la mise à jour risque d'être plus longue que pour 3.33. Du coup, il faudrait que je corrige le Makefile pour travailler sur des versions non officielles, c'est vrai que c'est pénible.
Denis