do not ignore .github

xref galaxyproject/tools-devteam#618 (comment)
bernt-matthias · Mar 8, 2024 · db77815 · db77815
1 parent e4ee020
commit db77815
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/pr.yaml b/.github/workflows/pr.yaml
@@ -2,7 +2,6 @@ name: Galaxy Tool Linting and Tests for push and PR
 on:
   pull_request:
     paths-ignore:
-      - '.github/**'
       - 'deprecated/**'
       - 'docs/**'
       - '*'
@@ -11,7 +10,6 @@ on:
       - main
       - master
     paths-ignore:
-      - '.github/**'
       - 'deprecated/**'
       - 'docs/**'
       - '*'