What is the right thing to do if a patch got ignored?