Disable PHP updates on CircleCI

weirdan · Mar 18, 2023 · 5f779ae · 5f779ae
1 parent 30347bf
commit 5f779ae
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/renovate.json b/renovate.json
@@ -14,6 +14,11 @@
     {
       "matchPackagePrefixes": ["phpunit/", "sebastian/", "brianium/"],
       "groupName": "phpunit"
+    },
+    {
+      "matchPackageNames": ["thecodingmachine/php"],
+      "matchManagers": ["circleci"],
+      "enabled": false
     }
   ]
 }