Searched refs:GITHUB_USER (Results 1 – 3 of 3) sorted by relevance
40 GITHUB_USER=''47 GITHUB_USER=$1105 if [[ -n "${GITHUB_USER}" ]]; then109 git remote add "${GITHUB_USER}" "git@github.com:${GITHUB_USER}/grpc.git"113 git push --set-upstream "${GITHUB_USER}" "${BRANCH_NAME}"116 …echo "Please check https://github.com/${GITHUB_USER}/grpc/tree/${BRANCH_NAME} for generated docume…117 …echo "Click https://github.com/grpc/grpc/compare/gh-pages...${GITHUB_USER}:${BRANCH_NAME} to creat…
29 USAGE: $0 PR_ID GITHUB_USER BACKPORT_BRANCHES REVIEWERS [-c PER_BACKPORT_COMMAND]31 GITHUB_USER: Your GitHub username.54 GITHUB_USER="$2"95 PR_DATA=$(curl -s -u "$GITHUB_USER:$GITHUB_TOKEN" \106 COMMITS_DATA=$(curl -s -u "$GITHUB_USER:$GITHUB_TOKEN" \152 -b "$GITHUB_USER:$BACKPORT_BRANCH" \
6 1. `git clone git@github.com:$GITHUB_USER/web-animations-js.git`