[Mantid-builder] [GitHub] Notice for new authentication token formats

Hi @mantid-builder, We noticed your personal access token, Mantid 6.0 Instrument Updates, has an outdated format and was used to access the GitHub API on June 23rd, 2022 at 17:52 (UTC) with a user-agent header of Mantid/6.0.0. In order to provide additional security benefits to all our customers, we recently updated the format of our API authentication tokens. Please regenerate your personal access tokens to take advantage of these benefits by visiting https://github.com/settings/tokens/. To understand more about this change and why it's important, visit https://github.blog/2021-04-05-behind-githubs-new-authentication-token-form…. We encourage you to reset your other authentication tokens as well, or revoke any that are no longer needed. This applies to integrations (such as OAuth Apps and GitHub Apps) as well as personal access tokens. For more information on reviewing your authorized integrations, refer to https://docs.github.com/github/authenticating-to-github/reviewing-your-auth…. Thanks, The GitHub Team