Répondre au commentaire

With a recent version of git...

The process is simpler when using a recent git version (>=1.6.0). There is no more need to reset if you clone the repository with the mirror option.

  1. git clone --mirror user@server:project.git

Then, you just need to fetch on a regular basis.

  1. cd path/to/local/project.git && git fetch -q

Répondre

Le contenu de ce champ ne sera pas montré publiquement.