Skip to content

Revert "[CI] Use repo_name as cross-PR lookup rather than id"#74947

Merged
shahmishal merged 1 commit intomainfrom
revert-74884-change-cross-pr-handling
Jul 3, 2024
Merged

Revert "[CI] Use repo_name as cross-PR lookup rather than id"#74947
shahmishal merged 1 commit intomainfrom
revert-74884-change-cross-pr-handling

Commits

Commits on Jul 3, 2024