🚨

Author: JJ

documentos/proyecto/0.Repositorio.md

@@ -430,11 +430,10 @@ que se van a hacer, un proyecto que se desplegará en la nube. A partir
 de ahora, en todos los objetivos se seguirá el siguiente
 procedimiento.
 
-> Para auxiliar al estudiante en estas labores se ha creado un plugin
-> de `git` específico para la asignatura. Seguir [las instrucciones en
-> el mismo
-> plugin](https://raw.githubusercontent.com/JJ/git-iv/refs/heads/main/bin/git-iv) para
-> descargarlo e instalarlo.
+> Para auxiliar al estudiante en estas labores se ha creado un plugin de `git`
+> específico para la asignatura. Seguir [las instrucciones en el mismo
+> plugin](https://raw.githubusercontent.com/JJ/git-iv/refs/heads/main/bin/git-iv)
+> para descargarlo e instalarlo.
 
 1. En este caso, tras crear el repositorio, se creará una rama específica para
    este objetivo (a partir de ahora, cada objetivo tendrá su propia rama). Con