Status: Resolved (View Workflow)
We use GitHub Organizations to manage our jobs.
We found a bug where if a pull request has its source repository/branch deleted (e.g. it was a personal fork and that personal fork was deleted) then that repository stops updating from github.
Here is the log from the "Scan Repository Log':