All committers have write access to this repository.
For nontrivial changes make a Pull Request and start a discussion with the stakeholders.
For trivial changes commit and let the dev list know.
The svn history was not migrated and remains available.