Skip to content

ci: fix perms for claude again #116

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jul 31, 2025
Merged

ci: fix perms for claude again #116

merged 1 commit into from
Jul 31, 2025

Conversation

drgroot
Copy link
Member

@drgroot drgroot commented Jul 31, 2025

No description provided.

@Copilot Copilot AI review requested due to automatic review settings July 31, 2025 14:23
@drgroot drgroot merged commit 3e25380 into main Jul 31, 2025
20 checks passed
@drgroot drgroot deleted the drgroot-patch-1 branch July 31, 2025 14:23
Copy link

@Copilot Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR fixes permissions for the Claude workflow by adding a new allowed tool for installing development requirements. The change expands the permitted bash commands to include pip installation of dev dependencies.

  • Adds permission for pip install -r requirements-dev.txt command to the Claude workflow's allowed tools

@@ -34,4 +34,4 @@ jobs:
with:
anthropic_api_key: ${{ secrets.ANTHROPIC_API_KEY }}
timeout_minutes: "60"
allowed_tools: 'Bash(*),Bash(gh *),Bash(pip *),Bash(mypy *),Bash(python *),Bash(mypy servc --check-untyped-defs)'
allowed_tools: 'Bash(*),Bash(gh *),Bash(pip *),Bash(mypy *),Bash(python *),Bash(mypy servc --check-untyped-defs),Bash(pip install -r requirements-dev.txt)'
Copy link
Preview

Copilot AI Jul 31, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The specific command 'Bash(pip install -r requirements-dev.txt)' is redundant since 'Bash(pip *)' already covers all pip commands including this one. Consider removing the redundant entry to keep the configuration cleaner.

Suggested change
allowed_tools: 'Bash(*),Bash(gh *),Bash(pip *),Bash(mypy *),Bash(python *),Bash(mypy servc --check-untyped-defs),Bash(pip install -r requirements-dev.txt)'
allowed_tools: 'Bash(*),Bash(gh *),Bash(pip *),Bash(mypy *),Bash(python *),Bash(mypy servc --check-untyped-defs)'

Copilot uses AI. Check for mistakes.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant