Yes moreover the miners do care. About their profits. And not wasting electricity. Their best bet is to mine on the most likely successful codebase, which will be the core developer's code. Even if they disagree with their change!