Merge remote-tracking branch 'origin/master' into sync-DINAR

itpp-labs · May 9, 2024 · 4bc936e · 4bc936e
2 parents 50d5bd0 + 215c690
commit 4bc936e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/DINAR2fork.yml b/.github/workflows/DINAR2fork.yml
@@ -2,8 +2,8 @@ name: "Check updates in DINAR"
 
 on:
   # Check for updates every Saturday morning
-  schedule:
-    - cron: "5 5 * * 6"
+  #schedule:
+  #  - cron: "5 5 * * 6"
   # Check for updates when someone opened an issue
   # Can be used as a workaround to immediatly sync with DINAR
   issues:

diff --git a/static-files/16.0/.pre-commit-config.yaml b/static-files/16.0/.pre-commit-config.yaml
@@ -5,7 +5,7 @@ exclude: |
   # Maybe reactivate this when all README files include prettier ignore tags?
   ^README\.md$|
   # Library files can have extraneous formatting (even minimized)
-  /static/(src/)?lib/|
+  /lib/|
   # Repos using Sphinx to generate docs don't need prettying
   ^docs/_templates/.*\.html$|
   # You don't usually want a bot to modify your legal texts