From 941d59a0b24e6075598c1a4f44289fb37398e9d5 Mon Sep 17 00:00:00 2001 From: Thomas Leroy Date: Thu, 23 May 2024 14:26:54 +0200 Subject: [PATCH] docs: add owners of the unsound code patterns item MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Tracking the unsound code patterns with issue #359, and set new owners to Carlos López, Thomas Leroy and Tom Dohrmann. Signed-off-by: Thomas Leroy --- Documentation/docs/developer/DEVELOPMENT-PLAN.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/Documentation/docs/developer/DEVELOPMENT-PLAN.md b/Documentation/docs/developer/DEVELOPMENT-PLAN.md index cf50885f4..04575ec6b 100644 --- a/Documentation/docs/developer/DEVELOPMENT-PLAN.md +++ b/Documentation/docs/developer/DEVELOPMENT-PLAN.md @@ -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.