Dovremmo inserire lo stato di merge nell'intestazione delle PR?