pnaranja / git_develop

Automate the commands: git checkout develop; git pull; git branch -d <last branch>

git_develop

Automate the command: git checkout develop; git pull; git branch -d

This is used after the working branch has been merged