A repository maintainer is a committer with the additional privilege of merging pull requests into the main branch of this repository.
Maintainers are listed in alphabetical order by last name.
| Name | GitHub Username |
|---|---|
| Frederico Araujo | araujof |
| Michael Desmond | michael-desmond |
| Tomáš Dvořák | Tomas2D |
| Matous Havlena | matoushavlena |
| Lukáš Janeček | xjacka |
| Anton Puzanov | antonpibm |
| Jenna Winkler | jenna-winkler |
For more details on the process of becoming a maintainer, see the Project Governance document.