Merge branch 'master' into debugBtnT

Author: yann300

apps/remix-ide/ci/build_and_publish_docker_images.sh

@@ -5,7 +5,7 @@ if [ "$CIRCLE_BRANCH" == "master" ];
 then
     export TAG="latest";
 else
-    export TAG=$(sed 's/#/-/g' <<< $CIRCLE_BRANCH)
+    export TAG=$(sed 's/[#\/]/-/g' <<< $CIRCLE_BRANCH)
 fi
 
 docker login --username $DOCKER_USER --password $DOCKER_PASS