fix: Fix gulpfiles related to publishing GitHub pages#9590

gonfunko wants to merge 2 commits into

mainRaspberryPiFoundation/blockly:mainfrom

gh-pages-scriptsRaspberryPiFoundation/blockly:gh-pages-scriptsCopy head branch name to clipboard