👷‍♂️ sync DINAR

Pushed from https://github.com/itpp-labs/DINAR/.github/workflows/fork2repos.yml
itpp-labs · May 9, 2024 · e60e0c5 · e60e0c5
1 parent 74b6c45
commit e60e0c5
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 8 deletions.
diff --git a/.github/workflows/DINAR-readme.yml b/.github/workflows/DINAR-readme.yml
@@ -13,13 +13,16 @@
 # limitations under the License.
 name: "DINAR: update repo's readme"
 
-on:
-  push:
-    paths:
-      - ".DINAR/build-date.txt"
-      - ".DINAR/config.yaml"
-      - ".github/workflows/DINAR-readme.yml"
-      - "*/__manifest__.py"
+# disabled
+on: false
+
+#on:
+#  push:
+#    paths:
+#      - ".DINAR/build-date.txt"
+#      - ".DINAR/config.yaml"
+#      - ".github/workflows/DINAR-readme.yml"
+#      - "*/__manifest__.py"
 jobs:
   repo_readme:
     runs-on: ubuntu-latest

diff --git a/.pre-commit-config.yaml b/.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