chore: Add priorities to Jira issues

.github/workflows/issue.yml

@@ -15,21 +15,51 @@ jobs:
  JIRA_BASE_URL: ${{ secrets.JIRA_BASE_URL }}
  JIRA_USER_EMAIL: ${{ secrets.JIRA_USER_EMAIL }}
  JIRA_API_TOKEN: ${{ secrets.JIRA_API_TOKEN }}
+ - name: Parse the priority label into a Jira priority
+ id: set_priority_var
+ env:
+ LABELS: ${{ github.event.issue.labels.*.name }}
+ run: |
+ MY_RESULT=""
+ for label in $LABELS
+ do
+ case $label in
+ P-low)
+ MY_RESULT=Low
+ break;;
+ P-medium)
+ MY_RESULT=Medium
+ break;;
+ P-high)
+ MY_RESULT=High
+ break;;
+ P-critical)
+ MY_RESULT=Highest
+ break;;
+ esac
+ done
+ echo "JIRA_PRIORITY=$MY_RESULT" >> $GITHUB_OUTPUT
+
  - name: Create Bug
  uses: atlassian/[email protected]
- if: "contains(github.event.issue.labels.*.name, 'bug')"
+ if: ${{ contains(github.event.issue.labels.*.name, 'bug') }}
+ env:
+ JIRA_PRIORITY: ${{ steps.set_priority_var.outputs.JIRA_PRIORITY }}
  with:
  project: TKET
  issuetype: Bug
  summary: « [hugr] ${{ github.event.issue.title }}»
  description: ${{ github.event.issue.html_url }}
- fields: '{"labels": ["hugr"]}'
+ fields: '{"labels": ["hugr"], "priority": "${{ env.JIRA_PRIORITY }}"}'
+
  - name: Create Task
  uses: atlassian/[email protected]
- if: "! contains(github.event.issue.labels.*.name, 'bug')"
+ if: ${{ ! contains(github.event.issue.labels.*.name, 'bug') }}
+ env:
+ JIRA_PRIORITY: ${{ steps.set_priority_var.outputs.JIRA_PRIORITY }}
  with:
  project: TKET
  issuetype: Task
  summary: « [hugr] ${{ github.event.issue.title }}»
  description: ${{ github.event.issue.html_url }}
- fields: '{"labels": ["hugr"]}'
+ fields: '{"labels": ["hugr"], "priority": "${{ env.JIRA_PRIORITY }}"}'