Git

¿Qué es git?

.gitignore

Instalación:

sudo apt install git

Configuración:

git config --global user.name "John Doe"
git config --global user.email johndoe@example.com

git – la guía sencilla

git cheat sheet

git cheat sheet (de Github)

¿Qué es github (o gitlab)?

Trabajo con repositorios remotos

Creación de un nuevo proyecto en Gitlab:

Subir el repositorio local (abrir una consola y situarse primero en la carpeta con los ficheros):

git init  --initial-branch=main
(git remote add origin git@gitlab.com:portadaalta/myawesomeproject.git)
git remote add origin https://gitlab.com/paco.portada/miproyecto.git
git add .
git commit -m "Initial Commit"
git push -u origin main

Actualizar el repositorio local (después de hacer modificaciones en los ficheros):

git add .
git commit -m "Nuevos cambios"

Actualizar el repositorio remoto

git push -u origin main

Quitar la vinculación al repositorio remoto

git remote rm origin

Members:

Uso de GitHub en Android Studio:

Más información sobre git:

Manual de Git

Gestión de ramas

Markdown

Qué es Markdown

Markdown Cheat Sheet

Editores

Typora

Best Free Online Markdown Editors