Maintainers#
Maintainers are responsible for maintaining parts of the code-base. Maintainers have the following responsibilities:
Coordinate development activity
Make sure code/documentation reviews are being done
Coordinate pull-requests
Coordinate bug follow-ups
Coordinate questions
In case of long discussions or arguments, maintainers or others can request a community council decision.
The current maintainers of this project are:
Daan van Es
Jan Maarten van Doorn
Frederik Stoel
Bart Pleiter
Clara de Smet
Egor Dmitriev
Lars Schilders
Any community member or Contributor can ask a question or raise an issue to the maintainers by logging a GitHub issue.