Assign new project maintainers #441
Description
Thank you for this project. Per #342 (comment) the original developer is understandably busy for the foreseeable future. We all wish @corna continued academic success.
There is currently a sizeable queue of pull requests, some documentation upgrades, others with fixes.
It may be good to add a few collaborators to the project (https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/repository-access-and-collaboration/permission-levels-for-a-personal-account-repository) if only to permit merging PRs and managing bugfix issues.
I don't know who would be best for the job, perhaps existing volunteers or some of the @coreboot maintainers. Thoughts?