From 73271d93738df9b2cb1352640128a3bdb678e8e7 Mon Sep 17 00:00:00 2001 From: filip mertens Date: Wed, 22 Mar 2023 12:44:00 +0100 Subject: [PATCH] profiles --- apps/remix-ide/ci/publish_plugin.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/apps/remix-ide/ci/publish_plugin.sh b/apps/remix-ide/ci/publish_plugin.sh index 186dce1166..3267f0c973 100755 --- a/apps/remix-ide/ci/publish_plugin.sh +++ b/apps/remix-ide/ci/publish_plugin.sh @@ -2,7 +2,7 @@ set -e -gh pr comment --body "testing" +#gh pr comment --body "testing" git config --global user.name "$COMMIT_AUTHOR" git config --global user.email "$COMMIT_AUTHOR_EMAIL"