Hey @mantid-builder,
Your personal access token (classic) "Jenkins GitHub Access" with public_repo
scope has expired.
If this token is still needed, visit
https://github.com/settings/tokens/772989004/regenerate to generate an equivalent.
If you run into problems, please contact support by visiting
https://github.com/contact
Thanks,
The GitHub Team