gnuboot-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PATCH v1 07/15] website: history: copyright: add reviewed website/pages


From: Denis 'GNUtoo' Carikli
Subject: [PATCH v1 07/15] website: history: copyright: add reviewed website/pages/global.css file.
Date: Mon, 23 Sep 2024 16:43:00 +0200

The entries inside the "Files with an incomplete copyright header"
section refer to commit hashes. And since a commit can't refer to
itself (unless SHA1 is broken), we split that in two commits.

Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
---
 website/pages/docs/history/index.md | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/website/pages/docs/history/index.md 
b/website/pages/docs/history/index.md
index c342982..9c577c9 100644
--- a/website/pages/docs/history/index.md
+++ b/website/pages/docs/history/index.md
@@ -137,4 +137,13 @@ to add files that never had any issues.
 
 Some omissions can still manage to skip through code review after the
 verification but at least we have the proper git history that enables
-us to more easily reconstruct it.
\ No newline at end of file
+us to more easily reconstruct it.
+
+Files with an incomplete copyright header
+=========================================
+
+The following files have incomplete copyright headers:
+
+* website/pages/global.css (details in the commit
+  612a3b51426eeddfbd8ada0de275eebf7e0ffe7f ("website: pages:
+  global.css: Add copyright header.")
\ No newline at end of file
-- 
2.46.0




reply via email to

[Prev in Thread] Current Thread [Next in Thread]