Thanks to visit codestin.com Credit goes to gitlab.com
git command and hook that deletes local branches when a matching PR is merged
