MNT: sync develop's Renovate config with the master config

Renovate reads its config only from the default branch (master), where the
corrected config is added in #1039. This updates develop's renovate.json to be
byte-identical to that one (pip-compile manager for the autogenerated
docs/requirements.txt; pip_requirements disabled for that file) so master and
develop don't diverge and the next master<->develop merge won't hit an add/add
conflict on .github/renovate.json.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

Author: Gui-FernandesBR

.github/renovate.json

@@ -11,12 +11,32 @@
   ],
   "dependencyDashboard": true,
   "automerge": false,
+  "pip-compile": {
+    "managerFilePatterns": [
+      "/^docs/requirements\\.txt$/"
+    ]
+  },
   "packageRules": [
     {
-      "matchPackagePatterns": ["*"],
-      "matchUpdateTypes": ["minor", "patch"],
+      "matchPackagePatterns": [
+        "*"
+      ],
+      "matchUpdateTypes": [
+        "minor",
+        "patch"
+      ],
       "groupName": "all non-major dependencies",
       "groupSlug": "all-non-major"
+    },
+    {
+      "description": "docs/requirements.txt is autogenerated by pip-compile from docs/requirements.in. Let the pip-compile manager regenerate the lock file, and stop the pip_requirements manager from editing the autogenerated file line by line.",
+      "matchManagers": [
+        "pip_requirements"
+      ],
+      "matchFileNames": [
+        "docs/requirements.txt"
+      ],
+      "enabled": false
     }
   ]
 }