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.
EDIT 1 : START
I was just wondering that since webhooks are sent from GitHub side to the webhook url that we configure in the app setting, is there a way for GitHub to notify users if the webhook url is not reachable.
EDIT 1 : END
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.
What you can do is use the branch protection settings to enforce a success status from that particular integration. If the integration goes down, then the status will remain pending.
If the integration comes back up, you can re-trigger it, e.g. by pushing another commit. If the integration remains down for a longer time, you can still verify the pull request locally and then override the required status using admin authorization
See also: https://help.github.com/en/github/administering-a-repository/about-required-status-checks