Searched full:repo (Results 1 – 4 of 4) sorted by relevance
29 REPO: ${{ github.repository }}42 owner: context.repo.owner,43 repo: context.repo.repo,
16 repo-token: ${{ secrets.GITHUB_TOKEN }}
14 # REPO: the name of the target repository (normally: OP-TEE/optee_os)90 github_env = all(os.getenv(var) for var in ("REPO", "PR_NUMBER",96 repo_name = os.getenv("REPO")109 repo = g.get_repo(repo_name)110 pr = repo.get_pull(int(pr_number))
1553 Please refer to the README in that repo for instructions.1557 Please refer to the README in that repo for instructions.