From 88cbb8959efe4677856ca42ea3f7b9800d224131 Mon Sep 17 00:00:00 2001
From: Kim Morrison <kim@tqft.net>
Date: Tue, 23 Jun 2026 01:37:35 +0000
Subject: [PATCH] chore: migrate to the reusable
 leanprover-community/intentions workflow

Replace the copied 01-claim-issue..04-withdraw-pr workflows with one caller of
the maintained reusable workflow. Command vocabulary and the board are
unchanged; default-ttl: none preserves "claims never expire", so no board
changes are needed. Reuses the existing PAT_TOKEN for the Projects board only;
issue assignment and comments use the workflow GITHUB_TOKEN.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
---
 .github/workflows/01-claim-issue.yml    | 201 ------------------------
 .github/workflows/02-disclaim-issue.yml | 166 -------------------
 .github/workflows/03-propose-pr.yml     | 184 ----------------------
 .github/workflows/04-withdraw-pr.yml    | 187 ----------------------
 .github/workflows/intentions.yml        |  15 ++
 5 files changed, 15 insertions(+), 738 deletions(-)
 delete mode 100644 .github/workflows/01-claim-issue.yml
 delete mode 100644 .github/workflows/02-disclaim-issue.yml
 delete mode 100644 .github/workflows/03-propose-pr.yml
 delete mode 100644 .github/workflows/04-withdraw-pr.yml
 create mode 100644 .github/workflows/intentions.yml

diff --git a/.github/workflows/01-claim-issue.yml b/.github/workflows/01-claim-issue.yml
deleted file mode 100644
index 436f0e7..0000000
--- a/.github/workflows/01-claim-issue.yml
+++ /dev/null
@@ -1,201 +0,0 @@
-name: Claim Issue
-
-on:
-  issue_comment:
-    types: [created]
-
-jobs:
-  claim_issue:
-    if: github.event.issue.pull_request == null && contains(github.event.comment.body, 'claim') && !contains(github.event.comment.body, 'disclaim')
-    runs-on: ubuntu-latest
-
-    steps:
-    - name: Check if comment contains only 'claim' (ignoring white spaces, newlines, and case)
-      id: check_claim
-      env:
-        COMMENT: ${{ github.event.comment.body }}
-      run: |
-        TRIMMED_COMMENT=$(echo "$COMMENT" | tr -d '\n' | xargs | tr '[:upper:]' '[:lower:]')
-        if [ "$TRIMMED_COMMENT" != "claim" ]; then
-          echo "Comment does not contain only 'claim' modulo white spaces, newlines, and case."
-          exit 1
-        fi
-        echo "Claim comment detected."
-
-    - name: Retrieve project ID
-      id: get_project_id
-      run: |
-        QUERY=$(cat <<EOF
-        {
-          "query": "{ repository(owner: \\"${{ github.repository_owner }}\\", name: \\"${{ github.event.repository.name }}\\") { projectsV2(first: 10) { nodes { id title } } } }"
-        }
-        EOF
-        )
-        RESPONSE=$(curl -X POST -H "Authorization: Bearer ${{ secrets.PAT_TOKEN }}" \
-          -H "Content-Type: application/json" \
-          --data "$QUERY" https://api.github.com/graphql)
-
-        PROJECT_ID=$(echo "$RESPONSE" | jq -r '.data.repository.projectsV2.nodes[] | select(.title == "ABC-Exceptions Project").id')
-
-        if [ -z "$PROJECT_ID" ]; then
-          echo "Error: Could not retrieve project ID"
-          exit 1
-        else
-          echo "PROJECT_ID=$PROJECT_ID" >> $GITHUB_ENV
-        fi
-
-    - name: Check if the issue is classified as 'Unclaimed'
-      id: check_unclaimed_tasks
-      run: |
-        # Retrieve project fields for 'Status'
-        QUERY=$(cat <<EOF
-        {
-          "query": "{ node(id: \\"${{ env.PROJECT_ID }}\\") { ... on ProjectV2 { fields(first: 10) { nodes { ... on ProjectV2SingleSelectField { name id options { id name } } } } } } }"
-        }
-        EOF
-        )
-        RESPONSE=$(curl -X POST -H "Authorization: Bearer ${{ secrets.PAT_TOKEN }}" \
-          -H "Content-Type: application/json" \
-          --data "$QUERY" https://api.github.com/graphql)
-
-        FIELD_ID=$(echo "$RESPONSE" | jq -r '.data.node.fields.nodes[] | select(.name == "Status").id')
-        UNCLAIMED_TASKS_ID=$(echo "$RESPONSE" | jq -r '.data.node.fields.nodes[] | select(.name == "Status") | .options[] | select(.name == "Unclaimed").id')
-
-        if [ -z "$FIELD_ID" ] || [ -z "$UNCLAIMED_TASKS_ID" ]; then
-          echo "Error: Could not retrieve FIELD_ID or UNCLAIMED_TASKS_ID"
-          exit 1
-        fi
-
-        # Retrieve the project item (issue) and check its status
-        ITEM_ID_QUERY=$(cat <<EOF
-        {
-          "query": "{ repository(owner: \\"${{ github.repository_owner }}\\", name: \\"${{ github.event.repository.name }}\\") { issue(number: ${{ github.event.issue.number }}) { projectItems(first: 1) { nodes { id } } } } }"
-        }
-        EOF
-        )
-        ITEM_ID_RESPONSE=$(curl -X POST -H "Authorization: Bearer ${{ secrets.PAT_TOKEN }}" \
-          -H "Content-Type: application/json" \
-          --data "$ITEM_ID_QUERY" https://api.github.com/graphql)
-
-        ITEM_ID=$(echo "$ITEM_ID_RESPONSE" | jq -r '.data.repository.issue.projectItems.nodes[0].id')
-
-        if [ "$ITEM_ID" == "null" ] || [ -z "$ITEM_ID" ]; then
-          echo "Issue has not been added to the project board. Posting a comment."
-          COMMENT_RESPONSE=$(curl -s -o /dev/null -w "%{http_code}" -X POST \
-            -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \
-            -H "Content-Type: application/json" \
-            -d '{"body": "This issue cannot be assigned to @${{ github.event.comment.user.login }} because it has not been added to the project board by the project maintainers.\n\nPlease consider discussing the issue on our [Zulip channel](). To understand the contribution process, please read the [CONTRIBUTING guide](https://github.com/b-mehta/ABC-Exceptions/blob/main/CONTRIBUTING.md)."}' \
-            https://api.github.com/repos/${{ github.repository }}/issues/${{ github.event.issue.number }}/comments)
-
-          if [ "$COMMENT_RESPONSE" -eq 201 ]; then
-            echo "Comment posted successfully."
-          else
-            echo "Failed to post comment. HTTP status: $COMMENT_RESPONSE"
-          fi
-          exit 1
-        fi
-
-        echo "Retrieved ITEM_ID: $ITEM_ID"
-        echo "ITEM_ID=$ITEM_ID" >> $GITHUB_ENV
-
-        FIELD_QUERY=$(cat <<EOF
-        {
-          "query": "{ node(id: \\"$ITEM_ID\\") { ... on ProjectV2Item { fieldValues(first: 10) { nodes { ... on ProjectV2ItemFieldSingleSelectValue { field { ... on ProjectV2FieldCommon { name } } optionId } } } } } }"
-        }
-        EOF
-        )
-        FIELD_RESPONSE=$(curl -X POST -H "Authorization: Bearer ${{ secrets.PAT_TOKEN }}" \
-          -H "Content-Type: application/json" \
-          --data "$FIELD_QUERY" https://api.github.com/graphql)
-
-        CURRENT_STATUS_ID=$(echo "$FIELD_RESPONSE" | jq -r '.data.node.fieldValues.nodes[] | select(.field.name == "Status").optionId')
-
-        if [ "$CURRENT_STATUS_ID" != "$UNCLAIMED_TASKS_ID" ]; then
-          echo "Issue is not classified as 'Unclaimed'. Posting comment."
-          curl -X POST -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \
-          -d '{"body": "This issue cannot be assigned to @${{ github.event.comment.user.login }} because it has not been classified as an \"Unclaimed Outstanding Task\" by the project maintainers.\n\nPlease consider discussing the issue on our [Zulip channel](). To understand the contribution process, please read the [CONTRIBUTING guide](https://github.com/b-mehta/ABC-Exceptions/blob/main/CONTRIBUTING.md)."}' \
-          https://api.github.com/repos/${{ github.repository }}/issues/${{ github.event.issue.number }}/comments
-          exit 1
-        fi
-
-        echo "Issue is classified as 'Unclaimed'."
-
-    - name: Check if issue is already assigned
-      id: check_assignee
-      run: |
-        ASSIGNEES_COUNT=$(echo "${{ toJson(github.event.issue.assignees) }}" | jq length)
-        if [ "$ASSIGNEES_COUNT" -gt 0 ]; then
-          echo "Issue is already assigned."
-          exit 1
-        fi
-
-    - name: Assign the issue to the commenter
-      run: |
-        curl -X POST -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \
-        -d '{"assignees":["${{ github.event.comment.user.login }}"]}' \
-        https://api.github.com/repos/${{ github.repository }}/issues/${{ github.event.issue.number }}
-
-    - name: Log the assignment result
-      run: echo "Issue successfully assigned to ${{ github.event.comment.user.login }}."
-
-    - name: Retrieve the project FIELD_ID for "Status"
-      id: get_field_id
-      run: |
-        QUERY=$(cat <<EOF
-        {
-          "query": "{ node(id: \\"${{ env.PROJECT_ID }}\\") { ... on ProjectV2 { fields(first: 10) { nodes { ... on ProjectV2SingleSelectField { name id } } } } } }"
-        }
-        EOF
-        )
-        RESPONSE=$(curl -X POST -H "Authorization: Bearer ${{ secrets.PAT_TOKEN }}" \
-          -H "Content-Type: application/json" \
-          --data "$QUERY" https://api.github.com/graphql)
-
-        FIELD_ID=$(echo "$RESPONSE" | jq -r '.data.node.fields.nodes[] | select(.name == "Status").id')
-        if [ -z "$FIELD_ID" ]; then
-          echo "Error: Could not retrieve FIELD_ID for Status"
-          exit 1
-        else
-          echo "FIELD_ID=$FIELD_ID" >> $GITHUB_ENV
-        fi
-
-    - name: Retrieve the "Claimed" option ID
-      id: find_claimed_tasks_id
-      run: |
-        QUERY=$(cat <<EOF
-        {
-          "query": "{ node(id: \\"${{ env.PROJECT_ID }}\\") { ... on ProjectV2 { fields(first: 10) { nodes { ... on ProjectV2SingleSelectField { name options { id name } } } } } } }"
-        }
-        EOF
-        )
-        RESPONSE=$(curl -X POST -H "Authorization: Bearer ${{ secrets.PAT_TOKEN }}" \
-          -H "Content-Type: application/json" \
-          --data "$QUERY" https://api.github.com/graphql)
-
-        CLAIMED_TASKS_ID=$(echo "$RESPONSE" | jq -r '.data.node.fields.nodes[] | select(.name == "Status") | .options[] | select(.name == "Claimed").id')
-        if [ -z "$CLAIMED_TASKS_ID" ]; then
-          echo "Error: Could not retrieve 'Claimed' ID"
-          exit 1
-        else
-          echo "CLAIMED_TASKS_ID=$CLAIMED_TASKS_ID" >> $GITHUB_ENV
-        fi
-
-    - name: Move task to "Claimed" column
-      run: |
-        echo "Moving task to 'Claimed'..."
-        echo "ITEM_ID: $ITEM_ID"
-        echo "FIELD_ID: $FIELD_ID"
-        echo "CLAIMED_TASKS_ID: $CLAIMED_TASKS_ID"
-
-        QUERY=$(cat <<EOF
-        {
-          "query": "mutation { updateProjectV2ItemFieldValue(input: { projectId: \\"${{ env.PROJECT_ID }}\\", itemId: \\"$ITEM_ID\\", fieldId: \\"$FIELD_ID\\", value: { singleSelectOptionId: \\"$CLAIMED_TASKS_ID\\" } }) { projectV2Item { id } } }"
-        }
-        EOF
-        )
-        curl -X POST -H "Authorization: Bearer ${{ secrets.PAT_TOKEN }}" \
-        -H "Content-Type: application/json" \
-        --data "$QUERY" https://api.github.com/graphql
-
-    - name: Log the project card movement result
-      run: echo "Task successfully moved to 'Claimed' column."
diff --git a/.github/workflows/02-disclaim-issue.yml b/.github/workflows/02-disclaim-issue.yml
deleted file mode 100644
index 153d1e7..0000000
--- a/.github/workflows/02-disclaim-issue.yml
+++ /dev/null
@@ -1,166 +0,0 @@
-name: Disclaim Issue
-
-on:
-  issue_comment:
-    types: [created]
-
-jobs:
-  disclaim_issue:
-    if: github.event.issue.pull_request == null && contains(github.event.comment.body, 'disclaim')
-    runs-on: ubuntu-latest
-
-    steps:
-    - name: Check if comment contains only 'disclaim' (ignoring white spaces, newlines, and case)
-      id: check_disclaim
-      env:
-        COMMENT: ${{ github.event.comment.body }}
-      run: |
-        TRIMMED_COMMENT=$(echo "$COMMENT" | tr -d '\n' | xargs | tr '[:upper:]' '[:lower:]')
-        if [ "$TRIMMED_COMMENT" != "disclaim" ]; then
-          echo "Comment does not contain only 'disclaim' modulo white spaces, newlines and case."
-          exit 1
-        fi
-        echo "Disclaim comment detected."
-
-    - name: Retrieve project ID
-      id: get_project_id
-      run: |
-        QUERY=$(cat <<EOF
-        {
-          "query": "{ repository(owner: \\"${{ github.repository_owner }}\\", name: \\"${{ github.event.repository.name }}\\") { projectsV2(first: 10) { nodes { id title } } } }"
-        }
-        EOF
-        )
-        RESPONSE=$(curl -X POST -H "Authorization: Bearer ${{ secrets.PAT_TOKEN }}" \
-          -H "Content-Type: application/json" \
-          --data "$QUERY" https://api.github.com/graphql)
-
-        PROJECT_ID=$(echo "$RESPONSE" | jq -r '.data.repository.projectsV2.nodes[] | select(.title == "ABC-Exceptions Project").id')
-
-        if [ -z "$PROJECT_ID" ]; then
-          echo "Error: Could not retrieve project ID"
-          exit 1
-        else
-          echo "PROJECT_ID=$PROJECT_ID" >> $GITHUB_ENV
-        fi
-
-    - name: Get issue details
-      id: issue
-      run: |
-        curl -s -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \
-        https://api.github.com/repos/${{ github.repository }}/issues/${{ github.event.issue.number }} > issue.json
-        cat issue.json
-      continue-on-error: true
-
-    - name: Check if the commenter is assigned to the issue
-      id: check_assignee
-      run: |
-        COMMENTER="${{ github.event.comment.user.login }}"
-        ASSIGNED=$(jq --arg user "$COMMENTER" '.assignees[]?.login | select(. == $user)' issue.json)
-        if [ -z "$ASSIGNED" ]; then
-          echo "not_assigned=true" >> $GITHUB_ENV
-        else
-          echo "not_assigned=false" >> $GITHUB_ENV
-        fi
-
-    - name: Remove the user from the assignees
-      if: env.not_assigned == 'false'
-      run: |
-        curl -X DELETE -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \
-        -d '{"assignees":["${{ github.event.comment.user.login }}"]}' \
-        https://api.github.com/repos/${{ github.repository }}/issues/${{ github.event.issue.number }}/assignees
-
-    - name: Log the unassignment result
-      if: env.not_assigned == 'false'
-      run: echo "User ${{ github.event.comment.user.login }} has been unassigned from the issue."
-
-    - name: Retrieve the project ITEM_ID
-      id: get_item_id
-      run: |
-        QUERY=$(cat <<EOF
-        {
-          "query": "{ repository(owner: \\"${{ github.repository_owner }}\\", name: \\"${{ github.event.repository.name }}\\") { issue(number: ${{ github.event.issue.number }}) { projectItems(first: 10) { nodes { id } } } } }"
-        }
-        EOF
-        )
-        echo "Sending query: $QUERY"
-
-        RESPONSE=$(curl -X POST -H "Authorization: Bearer ${{ secrets.PAT_TOKEN }}" \
-          -H "Content-Type: application/json" \
-          --data "$QUERY" https://api.github.com/graphql)
-
-        echo "GraphQL Response: $RESPONSE"
-        ITEM_ID=$(echo "$RESPONSE" | jq -r '.data.repository.issue.projectItems.nodes[0].id')
-
-        if [ -z "$ITEM_ID" ]; then
-          echo "Error: Could not retrieve ITEM_ID"
-          exit 1
-        else
-          echo "ITEM_ID=$ITEM_ID" >> $GITHUB_ENV
-        fi
-
-    - name: Retrieve the project FIELD_ID for "Status"
-      id: get_field_id
-      run: |
-        QUERY=$(cat <<EOF
-        {
-          "query": "{ node(id: \\"${{ env.PROJECT_ID }}\\") { ... on ProjectV2 { fields(first: 10) { nodes { ... on ProjectV2SingleSelectField { name id } ... on ProjectV2IterationField { name id } } } } } }"
-        }
-        EOF
-        )
-        echo "Sending query: $QUERY"
-
-        RESPONSE=$(curl -X POST -H "Authorization: Bearer ${{ secrets.PAT_TOKEN }}" \
-          -H "Content-Type: application/json" \
-          --data "$QUERY" https://api.github.com/graphql)
-
-        echo "GraphQL Response: $RESPONSE"
-        FIELD_ID=$(echo "$RESPONSE" | jq -r '.data.node.fields.nodes[] | select(.name == "Status").id')
-
-        if [ -z "$FIELD_ID" ]; then
-          echo "Error: Could not retrieve FIELD_ID for Status"
-          exit 1
-        else
-          echo "FIELD_ID=$FIELD_ID" >> $GITHUB_ENV
-        fi
-
-    - name: Retrieve the "Unclaimed" option ID
-      id: find_unclaimed_tasks_id
-      run: |
-        QUERY=$(cat <<EOF
-        {
-          "query": "{ node(id: \\"${{ env.PROJECT_ID }}\\") { ... on ProjectV2 { fields(first: 10) { nodes { ... on ProjectV2SingleSelectField { name options { id name } } } } } } }"
-        }
-        EOF
-        )
-        echo "Sending query: $QUERY"
-
-        RESPONSE=$(curl -X POST -H "Authorization: Bearer ${{ secrets.PAT_TOKEN }}" \
-          -H "Content-Type: application/json" \
-          --data "$QUERY" https://api.github.com/graphql)
-
-        echo "GraphQL Response: $RESPONSE"
-        UNCLAIMED_TASKS_ID=$(echo "$RESPONSE" | jq -r '.data.node.fields.nodes[] | select(.name == "Status") | .options[] | select(.name == "Unclaimed").id')
-
-        if [ -z "$UNCLAIMED_TASKS_ID" ]; then
-          echo "Error: Could not retrieve 'Unclaimed' ID"
-          exit 1
-        else
-          echo "UNCLAIMED_TASKS_ID=$UNCLAIMED_TASKS_ID" >> $GITHUB_ENV
-        fi
-
-    - name: Move task to "Unclaimed" column
-      run: |
-        QUERY=$(cat <<EOF
-        {
-          "query": "mutation { updateProjectV2ItemFieldValue(input: { projectId: \\"${{ env.PROJECT_ID }}\\", itemId: \\"$ITEM_ID\\", fieldId: \\"$FIELD_ID\\", value: { singleSelectOptionId: \\"$UNCLAIMED_TASKS_ID\\" } }) { projectV2Item { id } } }"
-        }
-        EOF
-        )
-        curl -X POST -H "Authorization: Bearer ${{ secrets.PAT_TOKEN }}" \
-        -H "Content-Type: application/json" \
-        --data "$QUERY" \
-        https://api.github.com/graphql
-
-    - name: Log the project card movement result
-      run: echo "Task successfully moved to 'Unclaimed' column."
diff --git a/.github/workflows/03-propose-pr.yml b/.github/workflows/03-propose-pr.yml
deleted file mode 100644
index 86b5440..0000000
--- a/.github/workflows/03-propose-pr.yml
+++ /dev/null
@@ -1,184 +0,0 @@
-name: Propose PR
-
-on:
-  issue_comment:
-    types: [created]
-
-jobs:
-  propose_pr:
-    if: github.event.issue.pull_request == null && contains(github.event.comment.body, 'propose')
-    runs-on: ubuntu-latest
-
-    steps:
-    - name: Check if the comment contains "propose #PR_NUMBER"
-      id: check_propose
-      env:
-        COMMENT: ${{ github.event.comment.body }}
-      run: |
-        COMMENT_LOWER=$(echo "$COMMENT" | tr '[:upper:]' '[:lower:]')
-
-        # Use a refined regex with [[:space:]] to match any whitespace
-        if [[ "$COMMENT_LOWER" =~ propose[[:space:]]*(pr[[:space:]]*)?\#([0-9]+)[[:space:]]* ]]; then
-          PR_NUMBER="${BASH_REMATCH[2]}"
-          echo "pr_number=$PR_NUMBER" >> $GITHUB_ENV
-        else
-          echo "The comment does not contain a valid 'propose #PR_NUMBER' format."
-          exit 1
-        fi
-
-    - name: Retrieve project ID
-      id: get_project_id
-      run: |
-        QUERY=$(cat <<EOF
-        {
-          "query": "{ repository(owner: \\"${{ github.repository_owner }}\\", name: \\"${{ github.event.repository.name }}\\") { projectsV2(first: 10) { nodes { id title } } } }"
-        }
-        EOF
-        )
-        RESPONSE=$(curl -X POST -H "Authorization: Bearer ${{ secrets.PAT_TOKEN }}" \
-          -H "Content-Type: application/json" \
-          --data "$QUERY" https://api.github.com/graphql)
-
-        PROJECT_ID=$(echo "$RESPONSE" | jq -r '.data.repository.projectsV2.nodes[] | select(.title == "ABC-Exceptions Project").id')
-
-        if [ -z "$PROJECT_ID" ]; then
-          echo "Error: Could not retrieve project ID"
-          exit 1
-        else
-          echo "PROJECT_ID=$PROJECT_ID" >> $GITHUB_ENV
-        fi
-
-    - name: Get issue details
-      run: |
-        curl -s -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \
-        https://api.github.com/repos/${{ github.repository }}/issues/${{ github.event.issue.number }} > issue.json
-
-    - name: Check if the commenter is assigned to the issue
-      run: |
-        COMMENTER="${{ github.event.comment.user.login }}"
-        ASSIGNED=$(jq --arg user "$COMMENTER" '.assignees[]?.login | select(. == $user)' issue.json)
-        if [ -z "$ASSIGNED" ]; then
-          echo "not_assigned=true" >> $GITHUB_ENV
-        else
-          echo "not_assigned=false" >> $GITHUB_ENV
-        fi
-
-    - name: Notify the user if they are not assigned
-      if: env.not_assigned == 'true'
-      run: |
-        echo "User ${{ github.event.comment.user.login }} is not assigned to this issue, exiting."
-        exit 0
-
-    - name: Link PR to the issue
-      if: env.not_assigned == 'false'
-      run: |
-        PR_NUMBER="${{ env.pr_number }}"
-        if [ -z "$PR_NUMBER" ]; then
-          echo "Error: PR number is not set. Exiting."
-          exit 1
-        fi
-
-        # Get the current PR body (ensure newlines are treated properly)
-        PR_BODY=$(curl -s -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \
-          https://api.github.com/repos/${{ github.repository }}/pulls/${PR_NUMBER} | jq -r '.body')
-
-        # Remove unnecessary carriage returns
-        PR_BODY_CLEAN=$(echo "$PR_BODY" | sed 's/\r//g')
-
-        # Append the issue closing reference
-        NEW_PR_BODY=$(echo -e "${PR_BODY_CLEAN}\n\nCloses #${{ github.event.issue.number }}")
-
-        # Prepare the JSON payload (properly escaped for newlines)
-        PAYLOAD=$(jq -n --arg body "$NEW_PR_BODY" '{body: $body}')
-
-        # Update the PR body with the properly formatted content
-        curl -s -X PATCH -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \
-        -H "Content-Type: application/json" \
-        -d "$PAYLOAD" \
-        https://api.github.com/repos/${{ github.repository }}/pulls/${PR_NUMBER}
-
-    - name: Retrieve the project ITEM_ID
-      id: get_item_id
-      run: |
-        QUERY=$(cat <<EOF
-        {
-          "query": "{ repository(owner: \\"${{ github.repository_owner }}\\", name: \\"${{ github.event.repository.name }}\\") { issue(number: ${{ github.event.issue.number }}) { projectItems(first: 10) { nodes { id } } } } }"
-        }
-        EOF
-        )
-
-        RESPONSE=$(curl -X POST -H "Authorization: Bearer ${{ secrets.PAT_TOKEN }}" \
-          -H "Content-Type: application/json" \
-          --data "$QUERY" https://api.github.com/graphql)
-
-        ITEM_ID=$(echo "$RESPONSE" | jq -r '.data.repository.issue.projectItems.nodes[0].id')
-
-        if [ -z "$ITEM_ID" ]; then
-          echo "Error: Could not retrieve ITEM_ID"
-          exit 1
-        else
-          echo "ITEM_ID=$ITEM_ID" >> $GITHUB_ENV
-        fi
-
-    - name: Retrieve the project FIELD_ID for "Status"
-      id: get_field_id
-      run: |
-        QUERY=$(cat <<EOF
-        {
-          "query": "{ node(id: \\"${{ env.PROJECT_ID }}\\") { ... on ProjectV2 { fields(first: 10) { nodes { ... on ProjectV2SingleSelectField { name id } } } } } }"
-        }
-        EOF
-        )
-
-        RESPONSE=$(curl -X POST -H "Authorization: Bearer ${{ secrets.PAT_TOKEN }}" \
-          -H "Content-Type: application/json" \
-          --data "$QUERY" https://api.github.com/graphql)
-
-        FIELD_ID=$(echo "$RESPONSE" | jq -r '.data.node.fields.nodes[] | select(.name == "Status").id')
-
-        if [ -z "$FIELD_ID" ]; then
-          echo "Error: Could not retrieve FIELD_ID for Status"
-          exit 1
-        else
-          echo "FIELD_ID=$FIELD_ID" >> $GITHUB_ENV
-        fi
-
-    - name: Retrieve the "In Progress" option ID
-      id: find_in_progress_tasks_id
-      run: |
-        QUERY=$(cat <<EOF
-        {
-          "query": "{ node(id: \\"${{ env.PROJECT_ID }}\\") { ... on ProjectV2 { fields(first: 10) { nodes { ... on ProjectV2SingleSelectField { name options { id name } } } } } } }"
-        }
-        EOF
-        )
-
-        RESPONSE=$(curl -X POST -H "Authorization: Bearer ${{ secrets.PAT_TOKEN }}" \
-          -H "Content-Type: application/json" \
-          --data "$QUERY" https://api.github.com/graphql)
-
-        IN_PROGRESS_TASKS_ID=$(echo "$RESPONSE" | jq -r '.data.node.fields.nodes[] | select(.name == "Status") | .options[] | select(.name == "In Progress").id')
-
-        if [ -z "$IN_PROGRESS_TASKS_ID" ]; then
-          echo "Error: Could not retrieve 'In Progress' ID"
-          exit 1
-        else
-          echo "IN_PROGRESS_TASKS_ID=$IN_PROGRESS_TASKS_ID" >> $GITHUB_ENV
-        fi
-
-    - name: Move task to "In Progress" column
-      run: |
-        QUERY=$(cat <<EOF
-        {
-          "query": "mutation { updateProjectV2ItemFieldValue(input: { projectId: \\"${{ env.PROJECT_ID }}\\", itemId: \\"$ITEM_ID\\", fieldId: \\"$FIELD_ID\\", value: { singleSelectOptionId: \\"$IN_PROGRESS_TASKS_ID\\" } }) { projectV2Item { id } } }"
-        }
-        EOF
-        )
-
-        curl -X POST -H "Authorization: Bearer ${{ secrets.PAT_TOKEN }}" \
-        -H "Content-Type: application/json" \
-        --data "$QUERY" \
-        https://api.github.com/graphql
-
-    - name: Log the project card movement result
-      run: echo "Task successfully moved to 'In Progress' column."
diff --git a/.github/workflows/04-withdraw-pr.yml b/.github/workflows/04-withdraw-pr.yml
deleted file mode 100644
index ce112ad..0000000
--- a/.github/workflows/04-withdraw-pr.yml
+++ /dev/null
@@ -1,187 +0,0 @@
-name: Withdraw PR
-
-on:
-  issue_comment:
-    types: [created]
-
-jobs:
-  withdraw_pr:
-    if: github.event.issue.pull_request == null && contains(github.event.comment.body, 'withdraw')
-    runs-on: ubuntu-latest
-
-    steps:
-    - name: Check if the comment contains "withdraw #PR_NUMBER"
-      id: check_withdraw
-      env:
-        COMMENT: ${{ github.event.comment.body }}
-      run: |
-        COMMENT_LOWER=$(echo "$COMMENT" | tr '[:upper:]' '[:lower:]')
-
-        if [[ "$COMMENT_LOWER" =~ withdraw[[:space:]]*(pr[[:space:]]*)?\#([0-9]+)[[:space:]]* ]]; then
-          PR_NUMBER="${BASH_REMATCH[2]}"
-          echo "pr_number=$PR_NUMBER" >> $GITHUB_ENV
-        else
-          echo "The comment does not contain a valid 'withdraw #PR_NUMBER' format."
-          exit 1
-        fi
-
-    - name: Retrieve project ID
-      id: get_project_id
-      run: |
-        QUERY=$(cat <<EOF
-        {
-          "query": "{ repository(owner: \\"${{ github.repository_owner }}\\", name: \\"${{ github.event.repository.name }}\\") { projectsV2(first: 10) { nodes { id title } } } }"
-        }
-        EOF
-        )
-        RESPONSE=$(curl -X POST -H "Authorization: Bearer ${{ secrets.PAT_TOKEN }}" \
-          -H "Content-Type: application/json" \
-          --data "$QUERY" https://api.github.com/graphql)
-
-        PROJECT_ID=$(echo "$RESPONSE" | jq -r '.data.repository.projectsV2.nodes[] | select(.title == "ABC-Exceptions Project").id')
-
-        if [ -z "$PROJECT_ID" ]; then
-          echo "Error: Could not retrieve project ID"
-          exit 1
-        else
-          echo "PROJECT_ID=$PROJECT_ID" >> $GITHUB_ENV
-        fi
-
-    - name: Get issue details
-      id: get_issue
-      run: |
-        curl -s -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \
-        https://api.github.com/repos/${{ github.repository }}/issues/${{ github.event.issue.number }} > issue.json
-        cat issue.json
-
-    - name: Check if the commenter is assigned to the issue
-      id: check_assignee
-      run: |
-        COMMENTER="${{ github.event.comment.user.login }}"
-        ASSIGNED=$(jq --arg user "$COMMENTER" '.assignees[]?.login | select(. == $user)' issue.json)
-        if [ -z "$ASSIGNED" ]; then
-          echo "not_assigned=true" >> $GITHUB_ENV
-        else
-          echo "not_assigned=false" >> $GITHUB_ENV
-        fi
-
-    - name: Notify the user if they are not assigned
-      if: env.not_assigned == 'true'
-      run: |
-        echo "User ${{ github.event.comment.user.login }} is not assigned to this issue, exiting."
-        exit 0
-
-    - name: Unlink PR #PR_NUMBER from the issue
-      if: env.not_assigned == 'false'
-      run: |
-        PR_BODY=$(curl -s -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \
-          https://api.github.com/repos/${{ github.repository }}/pulls/${{ env.pr_number }} | jq -r '.body')
-
-        # Remove "Closes #ISSUE_NUMBER" from the PR body
-        NEW_PR_BODY=$(echo "$PR_BODY" | sed "s/Closes #${{ github.event.issue.number }}//g")
-
-        # Escape quotes and newlines for JSON
-        ESCAPED_PR_BODY=$(echo "$NEW_PR_BODY" | jq -Rs '.')
-
-        curl -X PATCH -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \
-        -d "{\"body\": $ESCAPED_PR_BODY}" \
-        https://api.github.com/repos/${{ github.repository }}/pulls/${{ env.pr_number }}
-
-    - name: Log PR and issue unlink result
-      if: env.not_assigned == 'false'
-      run: echo "PR ${{ env.pr_number }} has been successfully unlinked from issue ${{ github.event.issue.number }}."
-
-    - name: Retrieve the project ITEM_ID
-      if: env.not_assigned == 'false'
-      id: get_item_id
-      run: |
-        QUERY=$(cat <<EOF
-        {
-          "query": "{ repository(owner: \\"${{ github.repository_owner }}\\", name: \\"${{ github.event.repository.name }}\\") { issue(number: ${{ github.event.issue.number }}) { projectItems(first: 10) { nodes { id } } } } }"
-        }
-        EOF
-        )
-        echo "Sending query: $QUERY"
-
-        RESPONSE=$(curl -X POST -H "Authorization: Bearer ${{ secrets.PAT_TOKEN }}" \
-          -H "Content-Type: application/json" \
-          --data "$QUERY" https://api.github.com/graphql)
-
-        echo "GraphQL Response: $RESPONSE"
-        ITEM_ID=$(echo "$RESPONSE" | jq -r '.data.repository.issue.projectItems.nodes[0].id')
-
-        if [ -z "$ITEM_ID" ]; then
-          echo "Error: Could not retrieve ITEM_ID"
-          exit 1
-        else
-          echo "ITEM_ID=$ITEM_ID" >> $GITHUB_ENV
-        fi
-
-    - name: Retrieve the project FIELD_ID for "Status"
-      if: env.not_assigned == 'false'
-      id: get_field_id
-      run: |
-        QUERY=$(cat <<EOF
-        {
-          "query": "{ node(id: \\"${{ env.PROJECT_ID }}\\") { ... on ProjectV2 { fields(first: 10) { nodes { ... on ProjectV2SingleSelectField { name id } } } } } }"
-        }
-        EOF
-        )
-        echo "Sending query: $QUERY"
-
-        RESPONSE=$(curl -X POST -H "Authorization: Bearer ${{ secrets.PAT_TOKEN }}" \
-          -H "Content-Type: application/json" \
-          --data "$QUERY" https://api.github.com/graphql)
-
-        echo "GraphQL Response: $RESPONSE"
-        FIELD_ID=$(echo "$RESPONSE" | jq -r '.data.node.fields.nodes[] | select(.name == "Status").id')
-
-        if [ -z "$FIELD_ID" ]; then
-          echo "Error: Could not retrieve FIELD_ID for Status"
-          exit 1
-        else
-          echo "FIELD_ID=$FIELD_ID" >> $GITHUB_ENV
-        fi
-
-    - name: Retrieve the "Claimed" option ID
-      if: env.not_assigned == 'false'
-      id: find_claimed_tasks_id
-      run: |
-        QUERY=$(cat <<EOF
-        {
-          "query": "{ node(id: \\"${{ env.PROJECT_ID }}\\") { ... on ProjectV2 { fields(first: 10) { nodes { ... on ProjectV2SingleSelectField { name options { id name } } } } } } }"
-        }
-        EOF
-        )
-        echo "Sending query: $QUERY"
-
-        RESPONSE=$(curl -X POST -H "Authorization: Bearer ${{ secrets.PAT_TOKEN }}" \
-          -H "Content-Type: application/json" \
-          --data "$QUERY" https://api.github.com/graphql)
-
-        echo "GraphQL Response: $RESPONSE"
-        CLAIMED_TASKS_ID=$(echo "$RESPONSE" | jq -r '.data.node.fields.nodes[] | select(.name == "Status") | .options[] | select(.name == "Claimed").id')
-
-        if [ -z "$CLAIMED_TASKS_ID" ]; then
-          echo "Error: Could not retrieve 'Claimed' ID"
-          exit 1
-        else
-          echo "CLAIMED_TASKS_ID=$CLAIMED_TASKS_ID" >> $GITHUB_ENV
-        fi
-
-    - name: Move task to "Claimed" status
-      if: env.not_assigned == 'false'
-      run: |
-        QUERY=$(cat <<EOF
-        {
-          "query": "mutation { updateProjectV2ItemFieldValue(input: { projectId: \\"${{ env.PROJECT_ID }}\\", itemId: \\"$ITEM_ID\\", fieldId: \\"$FIELD_ID\\", value: { singleSelectOptionId: \\"$CLAIMED_TASKS_ID\\" } }) { projectV2Item { id } } }"
-        }
-        EOF
-        )
-        curl -X POST -H "Authorization: Bearer ${{ secrets.PAT_TOKEN }}" \
-        -H "Content-Type: application/json" \
-        --data "$QUERY" https://api.github.com/graphql
-
-    - name: Log the project card movement result
-      if: env.not_assigned == 'false'
-      run: echo "Task successfully moved to 'Claimed' status."
diff --git a/.github/workflows/intentions.yml b/.github/workflows/intentions.yml
new file mode 100644
index 0000000..b5de45e
--- /dev/null
+++ b/.github/workflows/intentions.yml
@@ -0,0 +1,15 @@
+name: Intentions
+on:
+  issue_comment:
+    types: [created]
+jobs:
+  intentions:
+    permissions:
+      issues: write
+      pull-requests: write
+    uses: leanprover-community/intentions/.github/workflows/intentions.yml@v1
+    with:
+      project-title: "ABC-Exceptions Project"
+      default-ttl: "none"
+    secrets:
+      project-token: ${{ secrets.PAT_TOKEN }}