Skip to content

chore(ci): revert "use the devtools bot user token for PRs"#6549

Merged
nirinchev merged 1 commit intomainfrom
revert-6536-ni/use-pat-for-prs
Dec 4, 2024
Merged

chore(ci): revert "use the devtools bot user token for PRs"#6549
nirinchev merged 1 commit intomainfrom
revert-6536-ni/use-pat-for-prs

Commits

Commits on Dec 4, 2024