Mensuel Shaarli

Tous les liens d'un mois sur une page.

January, 2022

Move directory from one repository to another preserving git history

Parfois il peut s'avérer utile de migrer une partie de repository vers un nouveau repo git plus compact et/ou mieux découper.
(genre on commence à implémenter une feature à un endroit, puis ensuite on souhaite la séparer du code principal).

Le problème est que de base on perd l'historique si on copie/colle les fichiers.
Et il n'est pas également raisonnable de dupliquer le repo complet.

Mais avec Git il est possible de nettoyer un repo. On fait un clone et ensuite on nettoie l'historique.

computer universe

Une autre boutique (à priori) allemande qui vend du matériel informatique pas trop cher.

Caseking

Une boutique allemande qui vend du matériel informatique à très bon prix