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

6       - "Check code formatting"
7       - "Check for private emails used in PRs"
8       - "PR Request Release Note"
10       - completed
16   pr-comment:
17     runs-on: ubuntu-latest
19       pull-requests: write
27       - name: Fetch Sources
30           sparse-checkout: |
31             .github/workflows/unprivileged-download-artifact/action.yml
32           sparse-checkout-cone-mode: false
33       - name: 'Download artifact'
34         uses: ./.github/workflows/unprivileged-download-artifact
35         id: download-artifact
37           run-id: ${{ github.event.workflow_run.id }}
38           artifact-name: workflow-args
40       - name: 'Comment on PR'
41         if: steps.download-artifact.outputs.artifact-id != ''
42         uses: actions/github-script@v3
44           github-token: ${{ secrets.GITHUB_TOKEN }}
61             // Query to find the number of the pull request that triggered this job.
62             // The associated pull requests are based off of the branch name, so if
63             // you create a pull request for a branch, close it, and then create
64             // another pull request with the same branch, then this query will return
65             // two associated pull requests.  This is why we have to fetch all the
66             // associated pull requests and then iterate through them to find the
109               // to have more than one associated pull requests is if all the
110               // old pull requests are in the closed state.
116               console.log("Error retrieving pull request number");
123                 // the github-actions bot, so a malicious input won't overwrite
131                   if (old_comment.data.user.login != "github-actions[bot]") {
153       - name: Dump comments file
154         if: >-
156           steps.download-artifact.outputs.artifact-id != ''