Modificando al usuario local de git

Cuando estás en tu propia computadora, es lógico utilizar tu nombre de usuario y correo para agilizar las operaciones con Git.

Pero, ¿qué pasa en el servidor de producción? ¿qué credenciales deben ir allí?

Peor aún, ¿qué pasa si el desarrollador anterior se ha ido y no puedes actualizar la versión en producción porque te pide su contraseña?

Después de un rato de pánico, das con la configuración de git, que puedes editar en la carpeta del usuario en turno, en ~/.gitconfig

No obstante, la manera recomendada es hacerlo a través de estos comandos [1]:

# Siempre puedes curiosear con lo existente en la configuración...
git config --global --list

# Primero, elimina el usuario actual (nombre y correo).
git config --global --unset-all user.name
git config --global --unset-all user.email

# Luego, vuelve a configurar las propiedades con tus datos.
git config --global --add user.name "El nuevo usuario"
git config --global --add user.email "[email protected]"

Con éso, las subidas serán con tu nombre… aunque la verdad no afecta para nada al git pull.

Lamentablemente, para realizar un git pull de manera satisfactoria es necesario hacerlo repositorio por repositorio.

Es decir, tendrás que entrar a cada repositorio, y en el directorio raíz debe haber un directorio oculto llamado .git, donde reside un archivo config [2].

El archivo puede contener muchas cosas, como muestra el listado 2, que convendría no mover.

[core]
    repositoryformatversion = 0
    filemode = false
    bare = false
    logallrefupdates = true
    symlinks = false
    ignorecase = true
    hideDotFiles = dotGitOnly
[remote "origin"]
    url = https://[email protected]/ktaris/repositorio.git
    fetch = +refs/heads/*:refs/remotes/origin/*
[branch "master"]
    remote = origin
    merge = refs/heads/master
[gui]
    wmstate = zoomed
    geometry = 787x377+66+66 152 169
[branch "master"]
    remote = origin
    merge = refs/heads/master

La línea que se necesita modificar es la que inicia con url = blah-blah-blah (línea 10 en el listado 2), que corresponde a la cadena de conexión con el servidor, ya que contiene el nombre de usuario y el nombre del repositorio.

Encuentra su usuario, sustitúyelo por el tuyo. Voilà.

Con eso, ahora el repositorio estará listo para pedir tus credenciales.

No más llamadas de emergencia a media noche a personas fantasmas, no más retrasos eternos en producción… bueno, no por la falta de un git pull.

Referencias

  1. ^ git config global file – remove settings. (2012, Octubre 25). Obtenido de http://askubuntu.com/a/282550
  2. ^ Git pull command from different user. (2014, Junio 19). Obtenido de http://stackoverflow.com/a/34915472


Deja un comentario