Lines Matching +full:pull +full:- +full:requests

2 # for pull requests against the OP-TEE OS main repository in a secure way.
4 # (issues: write) using the default short-lived GITHUB_TOKEN. Due to this
15   pull-requests: write
17   notify-maintainers:
18     runs-on: ubuntu-latest
20       - name: Checkout base branch
22       - name: Install python3-github
24           sudo apt-get update
25           sudo apt-get install python3-github
26       - name: Compute maintainers
35       - name: Comment on PR
37         uses: actions/github-script@v8