chore(ci): use the devtools bot user token for PRs#6536

nirinchev merged 1 commit intomainmongodb-js/compass:mainfrom

ni/use-pat-for-prsmongodb-js/compass:ni/use-pat-for-prsCopy head branch name to clipboard