Hey mantid-builder!
A personal access token (classic) "Jenkins_March24" with admin:enterprise,
admin:gpg_key, admin:org, admin:org_hook, admin:public_key, admin:repo_hook,
admin:ssh_signing_key, audit_log, codespace, copilot, delete:packages, delete_repo, gist,
notifications, project, repo, user, workflow, write:discussion, and write:packages scopes
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