git delete-current-branch

[btd1337]

Hi @tj,

When your team do Merge Requests in web, like in Gitlab, your remote branch is deleted, but local current branch isn't.

To avoid user to go into develop branch, do a git pull and then execute git delete-branch branch-name, it would be interesting an method like this:

Command

git delete-current-branch

Instructions

branch=$(git branch --show-current)

git checkout develop
git pull
git branch -d $branch

What do you think about this?