Usare il client Git integrato

Il client Git integrato permette di controllare e gestire un repository Git locale senza uscire dall’app. Supporta i repository presenti nelle cartelle locali del progetto. Le cartelle remote SSH e agent non sono supportate; un remote Git è GitHub, GitLab o un altro remote configurato per un repository locale.

Aprire il client Git

1. Apri il pannello laterale Explorer.
2. Espandi la sezione Git.
3. Nel riepilogo puoi vedere il branch corrente, lo stato della working tree e la cronologia recente.
4. Premi l’icona Open Git workspace per aprire la vista Git completa nell’area centrale.

La vista Git completa contiene quattro sezioni: Changes, History, Branches e Sync.

Changes: modifiche, staging e commit

La sezione Changes divide i file in:

Gruppo	File mostrati
Staged	File inclusi nel prossimo commit.
Changes	File modificati ma non ancora stage.
Untracked	File nuovi non ancora aggiunti a Git.
Conflicted	File con conflitti Git da risolvere.

Mettere file in stage

1. Trova un file modificato o non tracciato.
2. Premi Stage.

Per includere tutte le modifiche, premi Stage all. Per rimuovere un file dallo stage, usa Unstage; Unstage all rimuove tutti i file dallo stage.

Scartare modifiche locali

Per un file nella sezione Changes, usa l’azione di eliminazione. L’app chiede conferma: l’operazione scarta modifiche non recuperabili dal pannello.

Creare un commit

1. Metti in stage i file desiderati.
2. Inserisci il messaggio in Commit message.
3. Abilita Amend previous commit soltanto se vuoi aggiornare l’ultimo commit.
4. Premi Commit.

Il commit usa configurazione Git, hook e firma GPG locali quando disponibili.

History: cronologia e commit

La sezione History mostra un grafo dei commit con hash, messaggio, branch e relazioni. Clicca un commit per aprirne i dettagli e vedere i file coinvolti.

Branches: creare, cambiare ed eliminare branch

Creare un branch

1. Apri Branches.
2. Inserisci un nome in New branch.
3. Premi Create.

Il branch viene creato e selezionato automaticamente.

Cambiare branch

Trova il branch desiderato e premi Switch. Git può bloccare il cambio se sono presenti modifiche locali incompatibili.

Eliminare un branch

1. Scegli un branch che non sia quello corrente.
2. Premi l’icona di eliminazione.
3. Conferma.

L’eliminazione è sicura: Git rimuove il branch solo se è già integrato.

Sync: fetch, pull e push

La sezione Sync mostra:

• ahead: commit locali non inviati al remote;
• behind: commit remoti non ancora presenti localmente.

Fetch

Premi Fetch per aggiornare le informazioni dal remote senza modificare il branch corrente.

Pull

• Pull integra modifiche remote con merge.
• Pull rebase integra modifiche remote con rebase.

Per sicurezza, pull e push sono bloccati se la working tree contiene modifiche, file non tracciati o conflitti. Prima fai commit, usa stash oppure risolvi o scarta le modifiche.

Push e force-with-lease

Usa Push per inviare i commit locali al branch remoto configurato.

Force with lease richiede sempre conferma. Usalo soltanto per riscrivere consapevolmente la storia remota: Git rifiuta l’operazione se il remote è cambiato in modo inatteso.

Stash, merge e rebase

In Branches, nella sezione Repository tools:

• Stash salva temporaneamente le modifiche locali.
• Apply stash@{N} applica uno stash esistente.
• Continue rebase prosegue un rebase dopo avere risolto i conflitti e messo in stage i file.
• Abort operation annulla un merge o rebase in corso e richiede conferma.

Per risolvere conflitti, modifica i file, mettili in stage e poi continua l’operazione. Per un rebase, puoi anche usare il terminale:

git add <file-risolto>
git rebase --continue

Limiti attuali

• Solo repository locali; le cartelle SSH e agent restano fuori scope.
• Nessun editor visuale di todo-rebase: i casi complessi restano nel terminale.
• Reset hard, configurazione remote, hook e operazioni amministrative restano nel terminale integrato.
• Le azioni distruttive esposte dal pannello chiedono sempre conferma.

Flusso quotidiano consigliato

1. Apri Changes e stagea i file.
2. Crea un commit descrittivo.
3. Apri Sync e premi Fetch.
4. Se sei behind, usa Pull o Pull rebase.
5. Premi Push.
6. Controlla History per verificare il risultato.

Risoluzione problemi

• “Not a Git repository” → la cartella selezionata non contiene un repository Git. Apri la cartella corretta oppure inizializza Git dal terminale con git init.
• Push rifiutato → premi Fetch, esegui Pull o Pull rebase, risolvi eventuali conflitti, quindi esegui di nuovo Push.