Gestione della configurazione con Git

Obiettivo

Eseguire i primi passi pratici di configuration management: installare Git Bash, inizializzare un repository locale, registrarvi modifiche, collegarlo a un repository remoto e provare le principali operazioni di sincronizzazione e branching.

Analisi teorica

Procedura di risoluzione

Installazione

Scaricare Git for Windows (Git Bash) da git-scm.com; eseguire il setup mantenendo l’opzione “Git from the command line”.

Prima configurazione

git config --global user.name "Nome Cognome"
git config --global user.email "[email protected]"

Creazione repo locale

mkdir lab-git && cd lab-git
git init
echo "# laboratorio Git" > README.md
git add README.md
git commit -m "Init: aggiunto README"

Collegamento repo remoto (es. GitLab)

git remote add origin <https://git-softeng.polito.it/s343602/lab-git.git>
git push -u origin master # primo push

Ciclo di lavoro tipico

# sviluppo di una nuova funzionalità
git switch -c feature/001-login
# ... modifiche
git add .
git commit -m "feat: form di login"
git push -u origin feature/001-login

Aprire Merge Request verso dev, effettuare il merge dopo revisione.