From f0d2cf5af022db1c62e60a389b1e309e65ea63ed Mon Sep 17 00:00:00 2001 From: Denis 'GNUtoo' Carikli Date: Fri, 6 Sep 2024 00:04:21 +0200 Subject: [PATCH] website: history: copyright: add verified website/serve.sh file. The entries inside the "Verified copyright headers" 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 Acked-by: Adrien 'neox' Bourmault --- website/pages/docs/history/index.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/website/pages/docs/history/index.md b/website/pages/docs/history/index.md index f13e059..c342982 100644 --- a/website/pages/docs/history/index.md +++ b/website/pages/docs/history/index.md @@ -114,6 +114,10 @@ So far the copyright headers were verified on the following files: 722a8256ab031a533418cbcf27bedd0cd88b7660 ("website: .gitignore: add copyright header.") +* website/serve.sh (details in the commit + aca12bde3f7af5b17969d57f7da1a8d700e0a36f ("website: serve.sh: update + copyright headers.") + * resources/grub/config/grub.cfg (details in commit 2695c97561405741200dc25f520a5ff649b7421f "grub.cfg: Add copyright header.")