Add committee application guideline and committee TOML file#32

Merged

jaisnan merged 6 commits intomodel-checking:mainfrom

jaisnan:add-committee-rules

Jul 3, 2024

Commits on Jul 2, 2024

Commits on Jul 3, 2024

Apply suggestions from code review

jaisnan
and
feliperodri
authored