[Mantid-builder] [GitHub] Your personal access token has expired

Hey @mantid-builder, Your personal access token "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?tags=dotcom-accounts Thanks, The GitHub Team