Clean up your local branches after merge and delete in GitHub2014 · 11 · 23If you are a Github user, then you might familiar with Pull Requests. Github
has an options
to delete a branch after merging of pull request.
After a Pull Request has been merge...