diff --git a/bin/github-deploy-phar.sh b/bin/github-deploy-phar.sh index f8a90ec35b9..79785c3c440 100755 --- 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 "github@muglug.com" git config user.name "Automated commit"