November’s Republicans’ primary