From 86284ed33251b014430b2afc5d011c06db9cdad4 Mon Sep 17 00:00:00 2001 From: filip mertens Date: Tue, 21 Mar 2023 14:06:35 +0100 Subject: [PATCH] global --- apps/remix-ide/ci/publish_plugin.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/apps/remix-ide/ci/publish_plugin.sh b/apps/remix-ide/ci/publish_plugin.sh index d86b9a692b..a4bf1e086f 100755 --- a/apps/remix-ide/ci/publish_plugin.sh +++ b/apps/remix-ide/ci/publish_plugin.sh @@ -1,8 +1,8 @@ #!/usr/bin/env bash set -e -git config user.name "$COMMIT_AUTHOR" -git config user.email "$COMMIT_AUTHOR_EMAIL" +git config --global user.name "$COMMIT_AUTHOR" +git config --global user.email "$COMMIT_AUTHOR_EMAIL" HASH=$(sha1sum persist/plugin-$1.zip | cut -d " " -f 1) # unzip persist/plugin-$1.zip