Sometimes it happens, that there're more heads with the same name in the Git repository. That can happen by copy and pasting folders. To delete any duplicate head, the following command can be used.
git push origin --delete refs/heads/BRANCHNAME
Then
git push origin BRANCHNAME
should work again.
git push origin --delete refs/heads/BRANCHNAME
Then
git push origin BRANCHNAME
should work again.
Keine Kommentare:
Kommentar veröffentlichen