Removing/restoring a branch after the pull request is merged