Skip to content

Commit

Permalink
Update CODEOWNERS and CONTRIBUTORS (#734)
Browse files Browse the repository at this point in the history
  • Loading branch information
greschd authored Dec 3, 2024
1 parent 8be6a44 commit 6017106
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 2 deletions.
2 changes: 1 addition & 1 deletion .github/CODEOWNERS
Original file line number Diff line number Diff line change
Expand Up @@ -4,4 +4,4 @@
# These owners will be the default owners for everything in
# the repo. Unless a later match takes precedence,
# Owners will be requested for review when someone opens a PR.
* @greschd @janvonrickenbach @roosre
* @greschd @roosre @SRaimondi
3 changes: 2 additions & 1 deletion CONTRIBUTORS.md
Original file line number Diff line number Diff line change
Expand Up @@ -3,8 +3,8 @@
## Project Lead

* [Dominik Gresch](https://github.com/greschd)
* [Jan von Rickenbach](https://github.com/janvonrickenbach)
* [René Roos](https://github.com/roosre)
* [Simone Raimondi](https://github.com/SRaimondi)

## Individual Contributors

Expand All @@ -15,3 +15,4 @@
* [René Roos](https://github.com/roosre)
* [Revathy Venugopal](https://github.com/Revathyvenugopal162)
* [Roberto Pastor Muela](https://github.com/RobPasMue)
* [Simone Raimondi](https://github.com/SRaimondi)

0 comments on commit 6017106

Please sign in to comment.