From 767e2618959d5a835636d71c8308dec5e3f46415 Mon Sep 17 00:00:00 2001 From: USAMI Kenta Date: Fri, 3 May 2024 23:26:47 +0900 Subject: [PATCH] Add config.xsd to the file distributed with psalm/phar --- bin/github-deploy-phar.sh | 1 + 1 file changed, 1 insertion(+) 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"