Depuis la page de manuel de git-clone (1) --branch peut également prendre des balises et détacher le HEAD à ce commit dans le référentiel résultant. j'ai essayé git clone --branch <tag_name> <repo_url> Mais ça ne marche pas. Il renvoie: warning: Remote branch 2.13.0 not found in...