fix: retrieve plugin.json.gzip from reports.jenkins.io instead of ci.jenkins.io (#1163)

Co-authored-by: Luigi Operoso <40476330+brokenpip3@users.noreply.github.com>
This commit is contained in:
Hervé Le Meur 2026-02-07 20:26:59 +01:00 committed by GitHub
parent 638489dd2a
commit ce17cbd36b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -44,7 +44,7 @@ var (
)
const (
Hosturl = "https://ci.jenkins.io/job/Infra/job/plugin-site-api/job/generate-data/lastSuccessfulBuild/artifact/plugins.json.gzip"
Hosturl = "https://reports.jenkins.io/plugin-site-api/plugins.json.gzip"
PluginDataFileCompressedPath = "/tmp/plugins.json.gzip"
PluginDataFile = "/tmp/plugins.json"
shortenedCheckingPeriod = 1 * time.Hour