Skip to content

Update committee list in pull_requests.toml - #635

Open
feliperodri wants to merge 1 commit into
model-checking:mainfrom
feliperodri:update-committee-list
Open

Update committee list in pull_requests.toml#635
feliperodri wants to merge 1 commit into
model-checking:mainfrom
feliperodri:update-committee-list

Conversation

@feliperodri

Copy link
Copy Markdown
Member

Updates the verification committee in .github/pull_requests.toml.

Removed:

  • qinheping
  • zhassan-aws
  • robdockins
  • Eh2406

Added:

  • btj
  • rafaelsamenezes

Remove qinheping, zhassan-aws, robdockins, and Eh2406; add btj and
rafaelsamenezes.
@feliperodri
feliperodri requested a review from a team as a code owner August 17, 2026 23:47
@feliperodri feliperodri added the Maintenance Maintenance related issues for the challange label Aug 17, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Maintenance Maintenance related issues for the challange

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant