chore(ci): use github app instead of bot user#492

nirinchev merged 2 commits intomainmongodb-js/devtools-shared:mainfrom

ni/github-app-tokenmongodb-js/devtools-shared:ni/github-app-tokenCopy head branch name to clipboard