Skip to content

Commit

Permalink
docs: add owners of the unsound code patterns item
Browse files Browse the repository at this point in the history
Tracking the unsound code patterns with issue coconut-svsm#359, and set new owners
to Carlos López, Thomas Leroy and Tom Dohrmann.

Signed-off-by: Thomas Leroy <[email protected]>
  • Loading branch information
p4zuu committed May 23, 2024
1 parent 53a5bd3 commit 941d59a
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions Documentation/docs/developer/DEVELOPMENT-PLAN.md
Original file line number Diff line number Diff line change
Expand Up @@ -540,6 +540,12 @@ page validation backends.

### [CodePatterns] Fixing Unsound Code Patterns

* Owners:
* Carlos López ([@00xc](https://www.github.com/00xc))
* Thomas Leroy ([@p4zuu](https://www.github.com/p4zuu))
* Tom Dohrmann ([@Freax13](https://github.com/Freax13))
* Tracking issue: [#359](https://github.com/coconut-svsm/svsm/issues/359)

The GitHub issues for the COCONUT-SVSM contains an issue which lists unsound
code patterns. This list needs to be updated, evaluated and the patterns need
to be fixed.
Expand Down

0 comments on commit 941d59a

Please sign in to comment.