Add config.xsd to the file distributed with psalm/phar

vimeo · May 3, 2024 · 767e261 · 767e261
1 parent 462c80e
commit 767e261
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/bin/github-deploy-phar.sh b/bin/github-deploy-phar.sh
@@ -18,6 +18,7 @@ cd phar
 rm -rf *
 cp ../build/psalm.phar ../assets/psalm-phar/* .
 cp ../build/psalm.phar.asc . || true # not all users have GPG keys
+cp ../config.xsd .
 mv dot-gitignore .gitignore
 git config user.email "[email protected]"
 git config user.name "Automated commit"