append $GITHUB_USER to $REPO_PREFIX within workspace_utils.sh script