Issue: Github comments on pull requests may not be processed.

Impact: Pull requests may not be merged if you merge using "/trunk merge" comments.

Workaround: Using the trunk cli to queue pull requests (https://docs.trunk.io/docs/reference#submitting-with-trunk-cli)

Time to resolution: We are continuing to work on a fix for this incident. Currently expect a fix to be deployed by 1pm PST

The issue has been resolved, and pull requests are being merged.