Skip to content

Update committee list in pull_requests.toml - #635

Open
feliperodri wants to merge 4 commits into
model-checking:mainfrom
feliperodri:update-committee-list
Open

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

Conversation

@feliperodri

@feliperodri feliperodri commented Aug 17, 2026

Copy link
Copy Markdown
Member

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

Removed:

  • adpaco-aws
  • qinheping
  • zhassan-aws
  • robdockins
  • Eh2406

Added:

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
@feliperodri
feliperodri enabled auto-merge August 20, 2026 17:52
@feliperodri
feliperodri force-pushed the update-committee-list branch from 5801e77 to 0a6e050 Compare August 20, 2026 18:05
@feliperodri
feliperodri requested a review from a team August 20, 2026 18:06
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.

4 participants