Skip to content

Remove role parameter#90

Merged
cotti merged 1 commit intomainfrom
remove_role_param
Apr 14, 2026
Merged

Remove role parameter#90
cotti merged 1 commit intomainfrom
remove_role_param

Conversation

@cotti
Copy link
Copy Markdown
Contributor

@cotti cotti commented Apr 14, 2026

The workflow is not finding the token; let's use the exact pattern as codex-internal.

@cotti cotti self-assigned this Apr 14, 2026
@cotti cotti requested a review from a team as a code owner April 14, 2026 17:04
@cotti cotti requested a review from technige April 14, 2026 17:04
@cotti cotti added the chore label Apr 14, 2026
Copy link
Copy Markdown

@technige technige left a comment

Choose a reason for hiding this comment

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

👍

@cotti cotti merged commit e0a7d89 into main Apr 14, 2026
4 checks passed
@cotti cotti deleted the remove_role_param branch April 14, 2026 17:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants