De git-clone (1) Página del manual --branch También puede tomar etiquetas y separar el HEAD en ese commit en el repositorio resultante. Lo intenté git clone --branch <tag_name> <repo_url> Pero no funciona. Vuelve: warning: Remote branch 2.13.0 not found in upstream origin,...