Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
PR-checker - remove git redirect, use actions/checkout
We use the git redirect to clone scripts-internal. We should not, the git redirect is left behind and that might mess up the next job if we're using self-hosted runners.
- Loading branch information