Skip to content

Consecutive comment lines are not foldable in Python but are in (at least some) other languages #11296

Consecutive comment lines are not foldable in Python but are in (at least some) other languages

Consecutive comment lines are not foldable in Python but are in (at least some) other languages #11296

Workflow file for this run

name: issue-automation
permissions:
issues: write
on:
issues:
types: [opened]
jobs:
assignIssue:
name: Assign Issue to Someone
runs-on: ubuntu-latest
if: github.repository == 'microsoft/pylance-release' && github.event.action == 'opened' && !contains( github.event.issue.labels.*.name, 'skip-reassign')
steps:
- name: Find last assigned
id: assigned
uses: actions/github-script@v6.3.3
with:
github-token: ${{secrets.GITHUB_TOKEN}}
result-encoding: string
script: |
const issue = await github.rest.issues.get({
issue_number: 4462,
owner: context.repo.owner,
repo: context.repo.repo
});
return issue.data.assignees[0].login || '';
- name: Dump last assigned
env:
LAST_ASSIGNED: ${{ steps.assigned.outputs.result }}
run: echo "$LAST_ASSIGNED"
- uses: lee-dohm/team-rotation@v1
with:
last: ${{ steps.assigned.outputs.result }}
include: bschnurr debonte heejaechang StellaHuang95 rchiodo KacieKK
id: rotation
- name: Dump next in rotation
env:
NEXT_ROTATION: ${{ steps.rotation.outputs.next }}
run: echo "$NEXT_ROTATION"
- name: Assign to next person
uses: actions/github-script@v6.3.3
with:
github-token: ${{secrets.GITHUB_TOKEN}}
script: |
github.rest.issues.addAssignees({
issue_number: context.issue.number,
owner: context.repo.owner,
repo: context.repo.repo,
assignees: ['${{ steps.rotation.outputs.next }}']
})
- name: Give it the label 'needs repro'
uses: actions/github-script@v6.3.3
with:
github-token: ${{secrets.GITHUB_TOKEN}}
script: |
github.rest.issues.addLabels({
issue_number: context.issue.number,
owner: context.repo.owner,
repo: context.repo.repo,
labels: ['needs repro']
})
- name: Save assignment to state
uses: actions/github-script@v6.3.3
with:
github-token: ${{secrets.GITHUB_TOKEN}}
script: |
await github.rest.issues.removeAssignees({
issue_number: 4462,
owner: context.repo.owner,
repo: context.repo.repo,
assignees: ['${{ steps.assigned.outputs.result }}']
});
github.rest.issues.addAssignees({
issue_number: 4462,
owner: context.repo.owner,
repo: context.repo.repo,
assignees: ['${{ steps.rotation.outputs.next }}']
})