Greenlight: CI

Merge request status now matches GitLab • The status shown for a merge request comes from its current head pipeline, so an old run on a superseded commit no longer reports a failure GitLab doesn't • Merge is no longer offered when GitLab would refuse it — it tells you what's blocking instead • A stage whose jobs were all skipped reads as skipped, not passed • A job allowed to fail reads as a warning, rather than failing the stage Links in comments • Links in merge request activity are now tappable, with the usual press-and-hold menu • GitLab links open in the app, on the right screen — including a link to a specific set of changes • Everything else opens in an in-app browser instead of leaving the app • The changes view can switch between diff versions Notifications • An expired or read-only token is reported as such, instead of looking like a missing GitLab role • The app now tells you when a colleague's webhook already covers you, so there's nothing to set up