Home
last modified time | relevance | path

Searched full:pr_number (Results 1 – 2 of 2) sorted by relevance

/optee_os/scripts/
H A Dnotify_maintainers.py15 # PR_NUMBER: pull request number
79 def get_handles_for_pr(pr_number: str):
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",
97 pr_number = os.getenv("PR_NUMBER")
101 handles_to_mention = get_handles_for_pr(pr_number)
110 pr = repo.get_pull(int(pr_number))
/optee_os/.github/workflows/
H A Dnotify.yml30 PR_NUMBER: ${{ github.event.pull_request.number }}