Searched full:gh_token (Results 1 – 15 of 15) sorted by relevance
6 # GH_TOKEN is the GitHub authentication token9 GH_TOKEN="$1"13 PR_DETAILS=$(curl -s -H "Authorization: token $GH_TOKEN" "https://api.github.com/repos/$REPO_NAME/p…
30 GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
21 echo "git remote add upstream \"https://\$GH_TOKEN@github.com/harfbuzz/harfbuzz.github.io.git\""22 git remote add upstream "https://$GH_TOKEN@github.com/harfbuzz/harfbuzz.github.io.git"
20 if [[ ! -z "$GH_TOKEN" ]]; then21 …git clone --quiet --branch=gh-pages https://x-access-token:${GH_TOKEN}@github.com/google/dagger gh…
8 # Grab the GH_TOKEN or else default to an empty string.9 local GITHUB_TOKEN="${GH_TOKEN:-}"
11 …git clone --quiet --branch=gh-pages https://x-access-token:${GH_TOKEN}@github.com/google/dagger gh…
68 GH_TOKEN: ${{ secrets.GH_TOKEN }}
12 git remote add upstream "https://${GH_TOKEN}@github.com/${TRAVIS_REPO_SLUG}.git"
14 git clone -q -b gh-pages https://${GH_TOKEN}@github.com/google/jimfs gh-pages > /dev/null
22 GH_TOKEN: ${{ github.token }}
18 …git clone --quiet --branch=gh-pages https://${GH_TOKEN}@github.com/google/guice gh-pages > /dev/nu…
29 GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
11 # rather than using an encrypted secret via github's GH_TOKEN mechanism. Users who
155 GH_TOKEN: ${{ github.token }}
160 GH_TOKEN: ${{ github.token }}