Git: more newbie questions: the sequel

[ninetydegrees]

Once your request has been pulled into develop and you've updated develop what do you do with your 'old' branch (local and remote)?

( Read more... )

Answer 1: local can be deleted w/ git branch -d BRANCHNAME (not merge needed yay)

Answer 2: remote can be deleted using git push origin :BRANCHNAME