Tenemos en la empresa un repositorio creado donde todos vamos subiendo los proyectos que tenemos, de tal forma que mediante permisos de contribución solo podemos trabajar en los repositorios que se nos asignen.
Esta mañana hemos hecho la prueba en un repositorio de volver atrás en el tiempo con git reset --hard (HASH_DEL_COMMIT_DESEADO)
y a continuación git push -f origin master
. En mi ordenador, que es donde hice la regresión todo se ha hecho correctamente, pero a él no se le aplica el cambio.
Cuando hace un pull
para bajarse esa regresión, no le hace nada. Su repositorio local sigue estando en el anterior estado.
¿Qué está fallando?