Git : Déplacer des dossiers entre repository
Qu’est-ce que c’est bien Git ! Un peu complexe mais tellement puissant.
Bref comme vous le savez maintenant, la nouvelle version de l’extension DeleteHistory est sortie. Et la méthode d’installation a la mode de Mediawiki est d’utiliser directement git et non plus l’outil de téléchargement du site Mediawiki.
J’ai donc voulu suivre le move et créer des repository dédiés a mes extensions Mediawiki tout en gardant l’historique de mon ancien repository. La tâche n’est pas très triviale mais fonctionne très bien.
Comme a mon habitude, je vous ai fais un petit article que j’ai rajouté sur ma doc de Git.
Pour voir le résultat vous pouvez regarder mon git