Skip to content

github: add manage permission to be specified by another vouch file#57

Merged
mitchellh merged 1 commit into
mainfrom
push-uutlmllvvwpu
Feb 15, 2026
Merged

github: add manage permission to be specified by another vouch file#57
mitchellh merged 1 commit into
mainfrom
push-uutlmllvvwpu

Conversation

@mitchellh
Copy link
Copy Markdown
Owner

The manage-by-discussion and manage-by-issue actions now support a vouched-managers-file (and related) parameter, which specifies a VOUCHED file that specially designates users who can vouch others users into the target vouched-file (not the managers file).

This allows specifically designating a set of users who can vouch others rather than relying only on GitHub repo/org permissions.

The `manage-by-discussion` and `manage-by-issue` actions now support a
`vouched-managers-file` (and related) parameter, which specifies a 
VOUCHED file that specially designates users who can vouch others users
into the target `vouched-file` (not the managers file). 

This allows specifically designating a set of users who can vouch others
rather than relying only on GitHub repo/org permissions.
@mitchellh mitchellh merged commit 3b15d1d into main Feb 15, 2026
13 checks passed
@mitchellh mitchellh deleted the push-uutlmllvvwpu branch February 15, 2026 05:24
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