Pour ne pas oublier: dans git, on peut faire un cherry-pick pour obtenir un commit spécifique ayant été publié dans un autre repo. Pratique pour mettre à jour des forks.