fix publish to docker#722

yann300 merged 2 commits intomasterremix-project-org/remix-project:masterfrom

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