Bump org.jenkins-ci.plugins:plugin from 4.88 to 5.8#47

dependabot[bot] wants to merge 1 commit intomainarmadaproject/jenkins-plugin:mainfrom

dependabot/maven/org.jenkins-ci.plugins-plugin-5.8armadaproject/jenkins-plugin:dependabot/maven/org.jenkins-ci.plugins-plugin-5.8Copy head branch name to clipboard