Searched full:github_token (Results 1 – 25 of 37) sorted by relevance
12
94 repo_token: ${{ secrets.GITHUB_TOKEN }}97 GITHUB_TOKEN: "${{ secrets.GITHUB_TOKEN }}"
6 if [[ -z $GITHUB_TOKEN ]]; then7 echo "No GITHUB_TOKEN secret found, artifact publishing skipped"
35 github_token: ${{ secrets.GITHUB_TOKEN }}
81 if [ -z "$GITHUB_TOKEN" ]; then95 PR_DATA=$(curl -s -u "$GITHUB_USER:$GITHUB_TOKEN" \106 COMMITS_DATA=$(curl -s -u "$GITHUB_USER:$GITHUB_TOKEN" \
33 You should use "secrets.GITHUB_TOKEN" in your workflow file, do not52 GITHUB_TOKEN: ${{ inputs.github-token }}
45 You should use "secrets.GITHUB_TOKEN" in your workflow file, do not60 GITHUB_TOKEN: ${{ inputs.github-token }}
66 GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
30 You should use "secrets.GITHUB_TOKEN" in your workflow file, do not64 GITHUB_TOKEN: ${{ inputs.github-token }}
96 GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
104 GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
123 github_token = getpass.getpass("Github person access token: ")137 github_token, version
9 keyname: "github_token"
11 token: ${{ secrets.GITHUB_TOKEN }}
15 token: ${{ secrets.GITHUB_TOKEN }}
14 token: ${{ secrets.GITHUB_TOKEN }}
12 github-token: ${{ secrets.GITHUB_TOKEN }}
15 repo-token: ${{ secrets.GITHUB_TOKEN }}
18 repo-token: ${{ secrets.GITHUB_TOKEN }}
8 git clone -q -b gh-pages "https://x-access-token:${GITHUB_TOKEN}@github.com/google/guava.git" gh-pa…
13 git clone --quiet --branch=gh-pages "https://x-access-token:${GITHUB_TOKEN}@github.com/google/auto"…
53 token: ${{ secrets.GITHUB_TOKEN }}
34 … git remote add upstream https://x-access-token:${{secrets.GITHUB_TOKEN}}@github.com/dtolnay/cxx
50 …git remote add origin https://x-access-token:${{ secrets.github_token }}@github.com/${{ github.rep…
53 …git push -f -q https://git:${{ secrets.github_token }}@github.com/${{ github.repository }} HEAD:gh…
24 token: ${{ secrets.GITHUB_TOKEN }}