Sorry for the late reply, I somehow completely missed this! As for your question, you are correct in saying that a PR must have been merged, so unfortunately this means that in the case of irregular merging by a PO there could be a problem. However, we try to use common sense and be a bit lenient towards stuff like this, so it's always worth asking us beforehand if you have any doubts!