I work on a repository that gets frequent PRs from multiple users across multiple branches, and all of them have been triggering builds except for submissions from PeterCheaterPumpkinEater.
See the following PR as an example of a complete lack of little red x, green checks, or orange circles next to this contributor’s commits: pl_rego_helper_no_folder, closes #751 by PeterCheaterPumpkinEater · Pull Request #765 · regro/regolith · GitHub
I know there were restrictions put in place for new contributors because of mining abusers. Is this the case here, and if so, how do I lift the restriction on this contributor?