Lines Matching +full:repo +full:- +full:token

2 # SPDX-License-Identifier: BSD-2-Clause
14 #   REPO: the name of the target repository (normally: OP-TEE/optee_os)
16 #   GITHUB_TOKEN: authentication token with read access to PR to read comments
42         if handle_start == -1 or handle_end == -1:
49         if paren_start != -1 and paren_end != -1:
75     handles_to_mention = handles - the_rest_handles
80     """Run get_maintainer.py with -g PR_NUMBER and parse handles."""
83         "-g", pr_number
90     github_env = all(os.getenv(var) for var in ("REPO", "PR_NUMBER",
96     repo_name = os.getenv("REPO")
98     token = os.getenv("GITHUB_TOKEN")
108         g = Github(token)
109         repo = g.get_repo(repo_name)
110         pr = repo.get_pull(int(pr_number))
115             existing_handles.update(re.findall(r"@([\w-]+)", comment.body))
132         new_handles = handles_to_mention - existing_handles - skip_handles