Allow page size All
to be persisted after setOptions()
#9797
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Label issues | |
on: | |
issues: | |
types: | |
- opened | |
- reopened | |
- closed | |
- milestoned | |
- demilestoned | |
- labeled | |
jobs: | |
# Label opened issues without milestone as 'Unplanned' | |
label_opened_no_milestoned_issues: | |
if: ${{ github.event.action == 'opened' && github.event.issue.milestone == '' }} | |
runs-on: ubuntu-latest | |
permissions: | |
issues: write | |
steps: | |
- name: Label issues | |
uses: andymckay/[email protected] | |
with: | |
add-labels: "FP: Unplanned" | |
remove-labels: "FP: Completed, FP: Planned, FP: In Development" | |
repo-token: ${{ secrets.GITHUB_TOKEN }} | |
# Label opened issues with milestone as 'Planned' | |
label_opened_milestoned_issues: | |
if: ${{ github.event.action == 'opened' && github.event.issue.milestone != '' }} | |
runs-on: ubuntu-latest | |
permissions: | |
issues: write | |
steps: | |
- name: Label issues Planned | |
uses: andymckay/[email protected] | |
with: | |
add-labels: "FP: Planned" | |
remove-labels: "FP: Completed, FP: Unplanned" | |
repo-token: ${{ secrets.GITHUB_TOKEN }} | |
# Label issues with milestone as 'Planned' | |
label_milestoned_issues: | |
if: ${{ github.event.action == 'milestoned' && github.event.issue.state == 'open' && !contains(join(github.event.issue.labels.*.name, ''), 'Development') }} | |
runs-on: ubuntu-latest | |
permissions: | |
issues: write | |
steps: | |
- name: Label issues Planned | |
uses: andymckay/[email protected] | |
with: | |
add-labels: "FP: Planned" | |
remove-labels: "FP: Unplanned, FP: Completed" | |
repo-token: ${{ secrets.GITHUB_TOKEN }} | |
# Label closed issues with 'Completed' label | |
label_closed_issues: | |
if: ${{ github.event.action == 'closed' }} | |
runs-on: ubuntu-latest | |
permissions: | |
issues: write | |
steps: | |
- name: Label issues Completed | |
uses: andymckay/[email protected] | |
with: | |
add-labels: "FP: Completed" | |
remove-labels: "FP: Unplanned, FP: Planned, FP: In Development" | |
repo-token: ${{ secrets.GITHUB_TOKEN }} | |
# Label reopened issues with milestone as 'In Development' | |
label_reopened_milestoned_issues: | |
if: ${{ github.event.action == 'reopened' && github.event.issue.milestone != '' }} | |
runs-on: ubuntu-latest | |
permissions: | |
issues: write | |
steps: | |
- name: Label issues In Development | |
uses: andymckay/[email protected] | |
with: | |
add-labels: "FP: In Development" | |
remove-labels: "FP: Completed, FP: Unplanned, FP: Planned" | |
repo-token: ${{ secrets.GITHUB_TOKEN }} | |
# Remove otber FP labels when issue labeled as 'In Development' | |
issue_labeled_indevelopment: | |
if: ${{ github.event.action == 'labeled' && contains(join(github.event.issue.labels.*.name, ''), 'Development') }} | |
runs-on: ubuntu-latest | |
permissions: | |
issues: write | |
steps: | |
- name: Remove other FP labels when InDevelopment | |
uses: andymckay/[email protected] | |
with: | |
add-labels: "FP: In Development" | |
remove-labels: "FP: Unplanned, FP: Planned" | |
repo-token: ${{ secrets.GITHUB_TOKEN }} |