pin servlet API version

SylvainJuge · SylvainJuge · commit b3e54161d8d4 · 2024-11-19T15:38:51.000+01:00
diff --git a/.github/renovate.json5 b/.github/renovate.json5
@@ -84,6 +84,13 @@
       "matchPackagePrefixes": ["org.openjdk.jmc"],
       "matchUpdateTypes": ["major"],
       "enabled": false
+    },
+    {
+      // pinned version for compatibility
+      "matchFileNames": ["jmx-scraper/test-webapp/**"],
+      "matchPackagePrefixes": ["jakarta.servlet:"],
+      "matchCurrentVersion": "5.0.0",
+      "enabled": false
     }
   ]
 }

Original file line number	Diff line number	Diff line change
`@@ -84,6 +84,13 @@`
`84`	`84`	`"matchPackagePrefixes": ["org.openjdk.jmc"],`
`85`	`85`	`"matchUpdateTypes": ["major"],`
`86`	`86`	`"enabled": false`
	`87`	`+ },`
	`88`	`+ {`
	`89`	`+ // pinned version for compatibility`
	`90`	`+ "matchFileNames": ["jmx-scraper/test-webapp/**"],`
	`91`	`+ "matchPackagePrefixes": ["jakarta.servlet:"],`
	`92`	`+ "matchCurrentVersion": "5.0.0",`
	`93`	`+ "enabled": false`
`87`	`94`	`}`
`88`	`95`	`]`
`89`	`96`	`}`