Closed psaavedra closed 1 year ago
github,gitlab: Rewrite CI jobs to Github actions
github: Remove wrong echo message in manual-cleanup-mirrored-external-pr.yml
github,gitlab: Rewrite CI jobs to Github actions
github: Remove wrong echo message in manual-cleanup-mirrored-external-pr.yml