Create a hierarchy of branches/PRs: z > y > x. Merge y. Gitlab will automatically retarget z to x; GitHub will orphan z.
I do wish Gitlab would spend some time better organizing their settings menus, but aside from that it seems to be more complete.
I do wish Gitlab would spend some time better organizing their settings menus, but aside from that it seems to be more complete.