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
