Hey mantid-download!
A personal access token (classic) "GitHub Access secret" 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