Le hice un git clone
a un repositorio alojado en github:
$ git clone https://github.com/USUARIO/REPOSITORIO.git
Luego le hice un git fetch --all
para pasarme a la rama dev
:
$ git fetch --all
$ git checkout dev
Para cerciorarme de que estuviera en dev
:
$ git branch
*dev
master
Ahora bien, mi problema es que quiero trabajar dicho repositorio con un usuario en específico para lo cual ejecuté:
$ git config user.email MI_USUARIO_ESPECIFICO@ejemplo.com
$ git config user.name MI_USUARIO_ESPECIFICO
Revisé el archivo local de configuración de git
el cual me devolvió correctamente:
$ cat .git/config
[user]
email = MI_USUARIO_ESPECIFICO@ejemplo.com
name = MI_USUARIO_ESPECIFICO
Añadí un archivo al proyecto:
$ git add assets/js/dependencies/jquery.min.js
Le hice su respectivo commit la cual hizo correctamente:
$ git commit -m "Dependencia jQuery añadida"
Procedí a hacer su push origin HEAD
$ git push origin HEAD
Y me devolvió este error:
remote: Permission to USUARIO/REPO.git denied to MI_USUARIO_GLOBAL.
fatal: unable to access 'https://github.com/USUARIO/REPO.git/': The requested URL returned error: 403
¿No debería pedirme las credenciales del USUARIO_ESPECIFICO?
¿A qué se debe este error y cómo puedo corregirlo?
NOTA
Estoy seguro que el repositorio existe y el USUARIO_ESPECIFICO ya tiene permisos en el mismo
git push origin dev
, ya que te mueves debranch
y el push es mejor hacerlo en el propio dev y luego hacer un merge. Yo personalmente nunca hago un push al head, sino al proyecto en si , ya que supongo que si lo hago al proyecto main del repositorio , actualizaré el puntero que apunte el head.git push origin HEAD
porque en la documentación dicen que si ya haz cambiado de rama (como lo muestro arriba) elgit push origin HEAD
apuntará a la rama que esté seleccionada por defecto