GitHub merge queue merged PRs don't match desktop/web

[jsoref]

GitHub Mobile beta for Android

1. Create a PR
2. Someone approves it
3. Someone adds it to a merge queue
4. It merges
5. Open the PR in GitHub Mobile:
   spelling: cspell:ignore open-telemetry/opentelemetry.io#6015 (comment)

Android app, note the red:

Chrome for Android:

The desktop browser experience is similar.

[candyho]

Hey, thanks for reporting. We have created an issue in our internal repo to track this.