[Mantid-builder] [GitHub] A personal access token has been added to your account

Hey mantid-builder! A personal access token (Pull Request pre-commit merge check) with public_repo scope was recently added to your account. Visit https://github.com/settings/tokens for more information. To see this and other security events for your account, visit https://github.com/settings/security-log If you run into problems, please contact support by visiting https://github.com/contact Thanks, The GitHub Team