RE #1421 - Fix bug pointing to wrong dockerhub url in deployment script#1435

catarak merged 1 commit intodevelopprocessing/p5.js-web-editor:developfrom

feature/versioningprocessing/p5.js-web-editor:feature/versioningCopy head branch name to clipboard