mirror of
https://github.com/Z3Prover/z3
synced 2026-07-03 05:46:08 +00:00
assign every new issue to copilot by default
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
parent
a252121945
commit
0461e010bb
1 changed files with 20 additions and 0 deletions
20
.github/workflows/copilot-autofix.yml
vendored
Normal file
20
.github/workflows/copilot-autofix.yml
vendored
Normal file
|
|
@ -0,0 +1,20 @@
|
||||||
|
name: Copilot Autofix on New Issue
|
||||||
|
|
||||||
|
on:
|
||||||
|
issues:
|
||||||
|
types: [opened]
|
||||||
|
|
||||||
|
jobs:
|
||||||
|
assign-to-copilot:
|
||||||
|
# Only trigger on issues with the 'copilot-autofix' label
|
||||||
|
if: contains(github.event.issue.labels.*.name, 'copilot-autofix')
|
||||||
|
runs-on: ubuntu-latest
|
||||||
|
permissions:
|
||||||
|
issues: write
|
||||||
|
steps:
|
||||||
|
- name: Assign issue to Copilot
|
||||||
|
run: |
|
||||||
|
gh issue edit "$ISSUE" --add-assignee copilot
|
||||||
|
env:
|
||||||
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
||||||
|
ISSUE: ${{ github.event.issue.number }}
|
||||||
Loading…
Add table
Add a link
Reference in a new issue