CI push fixes#109

murraystevenson wants to merge 2 commits into

gh-pagesGafferHQ/documentation:gh-pagesfrom

ciPushFixGafferHQ/documentation:ciPushFixCopy head branch name to clipboard