Use the official GitHub Action to obtain installation access tokens#9

dscho merged 1 commit intomaingitgitgadget/gitgitgadget-workflows:mainfrom

vet-github-actionsgitgitgadget/gitgitgadget-workflows:vet-github-actionsCopy head branch name to clipboard