Push Rule for branch name should be ignored when deleting a branch
otherwise deleting some existing branches will not be possible.