From 0b89b94ecb00e3e18d7066b4f919630f6d79822b Mon Sep 17 00:00:00 2001 From: Denis 'GNUtoo' Carikli Date: Fri, 6 Sep 2024 00:04:19 +0200 Subject: [PATCH] website: history: copyright: add verified website/.gitignore 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 5211f99..f13e059 100644 --- a/website/pages/docs/history/index.md +++ b/website/pages/docs/history/index.md @@ -110,6 +110,10 @@ So far the copyright headers were verified on the following files: * build (details in commit 1ccd450fec42ce426a00d075ad9b78a0b8c233ba "build: Update copyright header."). +* website/.gitignore (details in the commit + 722a8256ab031a533418cbcf27bedd0cd88b7660 ("website: .gitignore: add + copyright header.") + * resources/grub/config/grub.cfg (details in commit 2695c97561405741200dc25f520a5ff649b7421f "grub.cfg: Add copyright header.")