mirror
/
remix-project
mirror of https://github.com/ethereum/remix-project.git
2
0
Fork 0
Code Issues Releases Wiki Activity

comment

Browse Source
pull/3542/head
filip mertens 2 years ago
parent 6b28942ceb
commit 11ab21cbc0
1 changed files with 1 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      apps/remix-ide/ci/publish_plugin.sh

2
apps/remix-ide/ci/publish_plugin.sh
Unescape View File

@ -2,7 +2,7 @@
set -e set -e
gh gh pr comment --body "testing"
git config --global user.name "$COMMIT_AUTHOR" git config --global user.name "$COMMIT_AUTHOR"
git config --global user.email "$COMMIT_AUTHOR_EMAIL" git config --global user.email "$COMMIT_AUTHOR_EMAIL"

Write Preview
Loading…
Cancel
Save