Lines Matching +full:python3 +full:- +full:github

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
29           REPO: ${{ github.repository }}
30           PR_NUMBER: ${{ github.event.pull_request.number }}
33           python3 scripts/notify_maintainers.py | tee output.txt
35       - name: Comment on PR
37         uses: actions/github-script@v8
41             await github.rest.issues.createComment({