Is it just me, or is Gitlab struggling to merge PRs this morning?
Well, the merge finally finished, by the following pipeline never got kicked off... what is going on here? https://status.gitlab.com/ says all things are green. #gitlab
GitLab System Status

This status page is exclusively intended for monitoring GitLab.com and its associated services. If there are any performance or service interruptions, an update will be posted here. If you are encountering service interruptions on GitLab Dedicated, please submit a support request.

Aha!! There's all the orange on the #gitlab status page.