Les mystères de #git : un "git pull" ne m'importe pas le dernier tag d'un dépôt, alors qu'un "git clone" neuf me l'apporte bien.