Stability Improvements for PR Integration

Just a quick note that we’ve recently made some important stability improvements to our GitHub pull request integration. These changes were primarily aimed at a few edge-cases and known issues, which sometimes caused our PR status update to get perpetually stuck in a yellow “pending” state (even after our analysis successfully completed). We’ve addressed that issue, plus a few others.

We’ve also put together a detailed help article on troubleshooting possible configuration issues with this integration. If you’re not seeing any comment or status update from us on your PRs, stepping through this troubleshooting article should help identify and resolve the problem.

If you bump into any issues here, or if there is anything else that we can help with, please let us know.