Sollten wir den Merge-Status in die PR-Überschrift einfügen?