name

Cerca

Heus ací els resultats de la cerca.

git tips
11 Resultats, Darrera modificació:
ombrado rama en local y remoto> git checkout <old_name> && git branch -m <new_name> # o git branch -m <old_name> <new_name> git push -u origin <new_name> # y comprobar en remoto que todo ha ido bien git push origin
git alias
1 Resultats, Darrera modificació:
<code bash>git config --global alias.cm ‘-c “user.name=matebcn” commit’</code> /via: [[https://git-scm.c
git config
1 Resultats, Darrera modificació:
ciones disponibles * ''git config --global user.name "Mi Nombre"'' * ''git config --global user.emai
Anotaciones curso GIT
1 Resultats, Darrera modificació:
t checkout -- <file> * git remote [add][show][rename][rm] * git fetch * git pull * git push [--t
git DIFF
1 Resultats, Darrera modificació:
neline <commit-id> git diff-tree --no-commit-id --name-only -r <commit-id> </code> * muestra diferenci
git diff[tool]
1 Resultats, Darrera modificació:
neline <commit-id> git diff-tree --no-commit-id --name-only -r <commit-id> </code> == configuración dif
git: fusion varios repos en 1 conservando historia
1 Resultats, Darrera modificació:
fetch inmediatamente (With -f option, git fetch <name> is run immediately after the remote information
git: replicación o duplicación de repositorios
1 Resultats, Darrera modificació:
-mirror $URL ≡ git clone --bare $URL && (cd $(basename $URL) && git remote add --mirror=fetch origin $UR
git repo server
1 Resultats, Darrera modificació:
hell** * ''usermod -s /usr/bin/git-shell <username>'' * **/etc/ssh/sshd_config**:<code> Match User