Allow deleting branch when PR is merged
    
    This is only allowed when branch deletion is not disabled, when user
    has commit access to the source repository and the pull request is not
    remote.