pull/5370/head
filip mertens 2 years ago
parent 2cd7ba6efa
commit a3e31c85ab
  1. 5
      apps/remix-ide/ci/publish_plugin.sh

@ -2,11 +2,6 @@
set -e
sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-key C99B11DEB97541F0
sudo apt-add-repository https://cli.github.com/packages
sudo apt update
sudo apt install gh
git config --global user.name "$COMMIT_AUTHOR"

Loading…
Cancel
Save