Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
As discussed in #791 with Rene: he requested to be replaced as code owner. I added instead the three regular code owners until further notice. Additionally, I have added our private GitHub dev account (account used for this PR) as a code owner for the website and shared folder, enabling quicker fixes, such as typos and similar issues.
- Loading branch information