[Mantid-builder] [GitHub] Your personal access token is about to expire

Hi @mantid-builder, We noticed your personal access token "Jenkins GitHub Access" with public_repo scope will expire in 7 days. 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