open-telemetry
/
opentelemetry-java-instrumentation
mirror of https://github.com/open-telemetry/opentelemetry-java-instrumentation.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1391 from DataDog/landerson/auto-close-issues-pagination 

Handle pagination when auto-updating issues
This commit is contained in:
Laplie Anderson 2020-04-21 10:38:57 -04:00 committed by GitHub
parent 1c141d6f5c c1d71efdd0
commit 5bc7c14cd0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 9 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
.github/workflows/update-issues-on-release.yaml vendored
View File

@ -13,28 +13,32 @@ jobs:
with: with:
github-token: ${{secrets.GITHUB_TOKEN}} github-token: ${{secrets.GITHUB_TOKEN}}
script: | script: |
const milestones = await github.issues.listMilestonesForRepo({ const options = github.issues.listMilestonesForRepo.endpoint.merge({
owner: context.repo.owner, owner: context.repo.owner,
repo: context.repo.repo, repo: context.repo.repo,
state: 'all' state: 'all'
}) })
return milestones.data.find( milestone => milestone.title == "${{github.event.release.name}}" ).number const milestones = await github.paginate(options)
return milestones.find( milestone => milestone.title == "${{github.event.release.name}}" ).number
- name: Get issues for milestone - name: Get issues for milestone
id: issues id: issues
uses: actions/github-script@0.9.0 uses: actions/github-script@0.9.0
with: with:
github-token: ${{secrets.GITHUB_TOKEN}} github-token: ${{secrets.GITHUB_TOKEN}}
script: | script: |
const list = await github.issues.listForRepo({ const options = github.issues.listForRepo.endpoint.merge({
owner: context.repo.owner, owner: context.repo.owner,
repo: context.repo.repo, repo: context.repo.repo,
state: 'all', state: 'all',
milestone: ${{steps.milestone.outputs.result}} milestone: ${{steps.milestone.outputs.result}}
}) })
const issues = await github.paginate(options)
// Pull requests are issues so filter them out // Pull requests are issues so filter them out
return list.data.filter( issue => !issue["pull_request"] ) return issues.filter( issue => !issue["pull_request"] )
- name: Comment and close issues - name: Comment and close issues
uses: actions/github-script@0.9.0 uses: actions/github-script@0.9.0
with: with:
@ -55,4 +59,4 @@ jobs:
issue_number: issue.number, issue_number: issue.number,
state: 'closed' state: 'closed'
}) })
} }