Is it just me, or is Gitlab struggling to merge PRs this morning?