Eliminare un ramo in git

Per eliminare completamente un ramo dal tuo server git (compreso lo storico), basta’utilizzare il seguente comando :

git push origin –elimina [nome ramo]

E poi bisogna eseguire il comando seguente sulle istanze per eliminare le informazioni del ramo deleté :
git fetch–tutto–susina

Sì, per una ragione o un'altra, bisogna cancellare uno o più file su commit PRécédenti, ecco un articolo intériguardante l'argomento :

https://help.github.com/articles/remove-sensitive-data/

Precauzioni prima di eseguire il comando

Questo tutorial conserva il comando e il contesto della sua pubblicazione. Prima di utilizzarlo su un repository attuale, ispezionate il ramo, i file modificati e l'obiettivo esatto:

git status --short
git log --oneline --decorate -5

Create un ramo o un tag di backup quando l’operazione riscrive la cronologia o elimina dei file. In particolare, git reset --hard sovrascrive le modifiche nel repository di lavoro.

Riferimento : documentazione ufficiale di git reset.