Merge pull request #49 from Riztard/patch-1

Exclude repo.json from deletion
timschneeb · Feb 3, 2024 · ab3d92b · ab3d92b
2 parents d578f9e + f0ac123
commit ab3d92b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/scripts/commit-repo.sh b/.github/scripts/commit-repo.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 set -e
 
-rsync -a --delete --exclude .git --exclude .gitignore ../master/repo/ .
+rsync -a --delete --exclude .git --exclude .gitignore --exclude repo.json ../master/repo/ .
 git config --global user.email "github-actions[bot]@users.noreply.github.com"
 git config --global user.name "github-actions[bot]"
 git status