Clément Démoulins
From LRDE
Revision as of 18:54, 5 March 2014 by Clément Démoulins (talk | contribs)
Extraire des sous dossiers d'un dépôt git
Exemple, on veut extraire les papiers de Vaucanson du dépôt commun lrde-publis.
git clone git@git:lrde-publis.git
git clone --no-hardlinks lrde-publis vcsn-publis
cd vcsn-publis
git filter