¿Git extrae una etiqueta específica?

¿Git extrae una etiqueta específica?

Debido a que Jenkins extrae un repositorio de git sin etiquetas, me gustaría extraer la etiqueta específica que me interesa. ¿Existe una sintaxis para esto?

Soy consciente de las sintaxis de git que atraentodoetiquetas y sintaxis que atraendeetiquetas. Lo que busco es sacar una sola etiquetasí mismo.

El sistema operativo es un Debian reciente.

¡Gracias!

Respuesta1

Si solo necesita la etiqueta, puede usarla git fetchen su lugar, como se explica enesta respuesta:

git fetch origin tag V4.12.0.1 --no-tags

git fetchparece más adecuado para la tarea, ya que git pulltiene como objetivo fusionar confirmaciones después de la recuperación.

información relacionada