У меня есть ветвь git, мне нужно уничтожить все следы. Мне кажется, мне нужно что-то вроде
git filter-branch --index-filter 'git -D <branch>' --tag-name-filter cat -- --all
или, возможно,
git filter-branch --index-filter 'git rm --cached *' --tag-name-filter cat -- <branch>
Тогда я бы
git push -f origin :<branch>
Я не решаюсь попробовать их, не зная наверняка, что они будут делать, или если они будут работать.