Merge branch 'main' into typos

Author: jminor

.github/dependabot.yml

@@ -15,5 +15,4 @@ updates:
   - package-ecosystem: "gitsubmodule"
     directory: "/"
     schedule:
-      day: "monday"
-      interval: "weekly"
+      interval: "quarterly"

.github/workflows/python-package.yml

@@ -140,7 +140,11 @@ jobs:
     - name: Install python build dependencies
       run: |
         python -m pip install --upgrade pip setuptools wheel "flake8>=3.5" check-manifest
+    # \todo Temporarily disable check-manifest on MinGW, it is failing
+    # intermittently with this error:
+    # ModuleNotFoundError: No module named 'pip._vendor.distlib'
     - name: Run check-manifest and lint check
+      if: matrix.python-version != 'mingw64'
       run: make ci-prebuild
     - name: Build and Install
       run: |