hi, @akmalick. Thanks for the question.
What happens in general if a GitHub integration is down.
Suppose we have a GitHub App app that validates the pull request. What if that app is down, does GitHub display some message about it.
The pull request seems to go through when the app is not up.
This is quite dangerous. I mean, is there any fallback mechanism that GitHub provides for GitHub integrations.
GitHub only communicates with your App via Webhooks, sending HTTP requests to a URL of your choice. As the owner of the App you can access a list of recent Webhook deliveries and see the payload we sent. If your Webhook URL does not respond with a 200, then the delivery is marked as failed. You have the option to “Redeliver” any Webhook, which will send the request again.
This information is only visible to the owner of the App. GitHub never displays this information (or anything else about whether your App is functioning correctly) to people who have installed your App.
Depending on the volume of traffic your App receives, it might be sufficient to manually “Redeliver” any failed Webhooks that your App missed during its downtime (as described above). If it is important that your App never misses an event, you could build a recovery mechanism, using the GitHub API to fetch any data that they may have missed during your App’s downtime.
Hope this helps!