Keep gist in a separate workspace at load#1023

EthereumRemix merged 7 commits intomasterremix-project-org/remix-project:masterfrom

yann300-patch-31remix-project-org/remix-project:yann300-patch-31Copy head branch name to clipboard