Risposte:
Sembra un tag, quindi il seguente comando dovrebbe funzionare:
git tag -d refs/original/refs/heads/master
Ma, poiché hai detto che non lo è, puoi semplicemente eliminare il file dalla .git
directory. Dalla radice del repository, un comando come questo lo otterrà:
rm .git/refs/tags/refs/original/refs/heads/master
Il percorso potrebbe essere leggermente diverso se il git-tag
comando non è riuscito, quindi potresti voler cd .git/refs
trovare la testa offensiva per tentativi ed errori. L'eliminazione del file rimuoverà il riferimento dal repository locale.
.git/refs/original/refs/heads/master
.
git update-ref
piuttosto che mutare manualmente gli interni di Git. Vedi la risposta di Alexey.
Questo comando dovrebbe funzionare
git update-ref -d refs/original/refs/heads/master
git update-ref -d
invece di usare solo rm
il ref - cose brutte possono succedere altrimenti.
refs
directory
Questo è un riferimento. Normalmente creato da git filter-branch
- è un puntatore a dove si trovava il tuo ramo prima di correre git filter-branch
.
E per eliminare qualsiasi riferimento, non è mai possibile inviare nulla ad esso nel repository locale:
git push . :refs/original/refs/heads/master
Le altre risposte hanno riguardato piuttosto bene altri modi di eliminazione.
git update-ref -d
).