meesie1
2/25/2020 - 10:07 AM

Git branches verwijderen

// lokale branch verwijderen
git branch -d branchnaam

// remote branch verwijderen
git push origin --delete branchnaam