GIT

Control de versiones

Uso rápido básico con GitHub para estudiantes sin tiempo

Índice

Configuración básica
Añadir archivos al control de versiones
commit vs push
remote
Configuración con GitHub
Otros servicios

Configurando repositorio


                    git config --global user.name "Nombre Apellido"

                    git config --global user.email "xxx@edu.xunta.gal"

Configuraciones (2)


                        git config --global diff.tool "???"

                        git config --global core.editor "nano"

Corrección política

git config --global init.defaultBranch main

Ver configuración cambiada

git config --list

Inicialización

git init

Estado

git status

Añadir archivo a control de versiones

git add {ARCHIVO}

Descargar cambios (actualizar)

git pull

Enviar cambios a local

git commit

Añadir servidor remoto

git remote add origin ...

Ver remotes

git remote -v

Borrar servidor remoto

git remote remove origin

Enviar cambios a remoto

git push

Branches (listar)

git branch -a

Branches (descargar y fijar uno: main)

git branch --track main origin/main
git checkout main

Configuración en GitHub

En Github, vamos a Nuestro perfil —> Settings:

Opción 1: SSH and GPG keys —> añadimos una

ssh-keygen -m PEM -t rsa -C nuestro-email

Opción 2: Developer settings —> Personal access tokens —> Classic tokens —> Añadir uno que actuará como contraseña (debe caducar por seguridad)

GitHub: Repositorio nuevo


                        
                            echo "# BDA" >> README.md

                            git init

                            git add README.md

                            git commit -m "first commit"

                            git branch -M main

                            git remote add origin git@github.com:jfsanchez/BDA.git

                            git push -u origin main

GitHub: Repositorio existente


                        
                            git remote add origin git@github.com:jfsanchez/BDA.git

                            git branch -M main

                            git push -u origin main

Clonar otro repositorio

git clone git@github.com:nombre-usuario/nombre-repositorio.git .

Credential Manager de Microsoft Windows

Ramas

git branch -a

Locales, Remotas

Distributed Version Control System (DVCS)

Servicios que ofrecen git

Actualizado a: Noviembre 2022

Github: repositorios gratis privados y públicos (limite 500mb tamaño y 2000min tiempo de actions)

Bitbucket: Gratis hasta 5 usuario (limite 1gb tamaño y 50min tiempo de actions)

Gitlab: repositorios gratis privados y públicos (limite 400min tiempo de actions)

Azure Devops: Gratis hasta 5 usuario (limite 2gb tamaño y 1800min tiempo de actions)

Jose Sánchez

“Errare humanum est, sed perseverare diabolicum”

Erros? / Errores? / Mistakes? →