4 ms·for me an open PR is shown as mergedby radioactive11 5mo agofor me an open PR is shown as merged