Joined July 2012
·
Posted to
Remove merged branches from a git remote
over 1 year
ago
delete branch on remote
git push origin --delete <branch name>
I believe this does the same thing?
Achievements
166 Karma
3,406 Total ProTip Views
Forked
Have a project valued enough to be forked by someone else
Mongoose 3
Have at least three original repos where Ruby is the dominant language
Nephila Komaci 3
Have at least three original repos where PHP is the dominant language
Altruist
Increase developer well-being by sharing at least 20 open source projects
Velociraptor
Have at least one original repo where Perl is the dominant language
Python
Would you expect anything less? Have at least one original repo where Python is the dominant language
Honey Badger 3
Have at least three Node.js specific repos
Nephila Komaci
Have at least one original repos where PHP is the dominant language
Walrus
The walrus is no stranger to variety. Use at least 4 different languages throughout all your repos
Charity
Fork and commit to someone's open source project in need
Mongoose
Have at least one original repo where Ruby is the dominant language
Honey Badger
Have at least one original Node.js-specific repo
; ) That always annoyed me that I would delete a branch locally, then push to master and they would still be there on the repo... seems like there shouldn't have to be an extra step for that