Did something get configured at the org level to enable Gitpod to show up on pull requests? In our Github project (eclipse/rdf4j) we have suddenly started seeing this additional item in the list of PR status checks, and I have no idea where it comes from.
Cheers, Jeen
_______________________________________________ cross-project-issues-dev mailing list cross-project-issues-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/cross-project-issues-dev
