From db92397905ea34296ecbe6c4b7be8122dd5b5358 Mon Sep 17 00:00:00 2001 From: filip mertens Date: Tue, 21 Mar 2023 14:11:12 +0100 Subject: [PATCH] config --- apps/remix-ide/ci/publish_plugin.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/apps/remix-ide/ci/publish_plugin.sh b/apps/remix-ide/ci/publish_plugin.sh index 4a1aa896df..bdd9e359df 100755 --- a/apps/remix-ide/ci/publish_plugin.sh +++ b/apps/remix-ide/ci/publish_plugin.sh @@ -1,8 +1,7 @@ #!/usr/bin/env bash set -e -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 @@ -12,6 +11,8 @@ git clone git@github.com:ethereum/remix-plugins-directory.git npx ts-node apps/remix-ide/ci/publish_plugin.ts $1 $HASH alpha cd remix-plugins-directory +git config user.name "$COMMIT_AUTHOR" +git config user.email "$COMMIT_AUTHOR_EMAIL" git status git add . git commit -m "Publish plugin $1"