Hello,
A former colleague set up our Gitlab CI/CD integration with our Github repository. We had mirror-based pull to accomplish this. However, this failed earlier this week since were on the free tier and Gitlab took away mirror-based pull from the free tier. We paid for Bronze access since then and it seemed to work. However, the notifications from Gitlab to Github indicating that the pipeline has succeeded has stopped showing up. I was looking for a fix and found this integration with Github that might be the suspect.
https://docs.gitlab.com/ee/user/project/integrations/github.html
However, when I look for establishing this integration, I do not see GitHub on the list of possible integrations in the project settings. Is there any reason why it is no longer there and how should I proceed?