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–susinaSì, 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/...