ci: do not run on website changes (#2964)

Also removed the sync repo workflow since we do not use the sites repo actively anymore.

.github/sync.yml

@@ -1,15 +0,0 @@
-discordeno/guide:
-  - source: website/
-    dest: ./
-    exclude: |
-      README.md
-      LICENSE
-    deleteOrphaned: true
-
-discordeno/template:
-  - source: template/
-    dest: ./
-    exclude: |
-      README.md
-      LICENSE
-    deleteOrphaned: true

.github/workflows/lib-check.yml

@@ -2,9 +2,13 @@ name: Library Checks
 
 on:
   pull_request:
+    paths-ignore:
+      - 'website/**'
   push:
     branches:
       - main
+    paths-ignore:
+      - 'website/**'
   merge_group:
 
 jobs:

.github/workflows/retryBenchmark.yml

@@ -2,9 +2,13 @@ name: Benchmark with retry
 
 on:
   pull_request:
+    paths-ignore:
+      - 'website/**'
   push:
     branches:
       - main
+    paths-ignore:
+      - 'website/**'
 
 jobs:
   benchmark-try-1:

.github/workflows/sync_repos.yml

@@ -1,24 +0,0 @@
-name: Sync Repos
-
-on:
-  push:
-    branches:
-      - main
-    paths:
-      - 'website/**'
-      # - "template/**"
-
-jobs:
-  sync:
-    runs-on: ubuntu-latest
-    steps:
-      - name: Checkout Repository
-        uses: actions/checkout@master
-      - name: Run GitHub File Sync
-        uses: BetaHuhn/repo-file-sync-action@v1
-        with:
-          GH_PAT: ${{ secrets.REPO_SYNC }}
-          GIT_EMAIL: to@itoh.at
-          GIT_USERNAME: itohatweb
-          SKIP_PR: true
-          COMMIT_EACH_FILE: false