Merge branch 'main' into claude/issue-2239-20251024-2057

This commit is contained in:
William Easton 2025-10-24 16:08:28 -05:00 committed by GitHub
commit f614b20150
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 5 additions and 5 deletions

View file

@ -4,15 +4,16 @@ on:
issues:
types: [opened, labeled]
concurrency:
group: triage-martian-${{ github.event.issue.number }}
cancel-in-progress: true
jobs:
martian-issue-triage:
if: |
(github.event.action == 'opened' && github.actor == 'strawgate') ||
(github.event.action == 'labeled' && github.event.label.name == 'triage-martian')
concurrency:
group: triage-martian-${{ github.event.issue.number }}
cancel-in-progress: true
runs-on: ubuntu-latest
timeout-minutes: 10
permissions:

View file

@ -83,7 +83,6 @@ jobs:
allowed_non_write_users: "*"
claude_args: |
--allowedTools Bash(gh issue view:*),Bash(gh search:*),Bash(gh issue list:*),Bash(gh api:*),Bash(gh issue comment:*),Task
--mcp-config /tmp/mcp-config/mcp-servers.json
settings: |
{
"model": "claude-sonnet-4-5-20250929",