From abe5a40fad33c22bc71f0c4e1ac5b15974449a4c Mon Sep 17 00:00:00 2001 From: Denis 'GNUtoo' Carikli Date: Fri, 6 Sep 2024 00:04:17 +0200 Subject: [PATCH] website: history: track work on copyright headers updates. Without this commit we have no way of tracking the status of files and we risk making the same verification too many times. Ideally we also need procedure and/or tools to make sure omissions don't get in. So far the work to update some of the headers on some of the files required to look at multiple git repositories and even tarball releases, and in some cases it even required good knowledge of the provenance of the files to reconstruct the proper history. In contrast the way we track contributions in git makes it much easier to fix subsequent omissions of people/dates in the copyright headers. Signed-off-by: Denis 'GNUtoo' Carikli Acked-by: Adrien 'neox' Bourmault --- website/pages/docs/history/index.md | 31 ++++++++++++++++++++++++++++- 1 file changed, 30 insertions(+), 1 deletion(-) diff --git a/website/pages/docs/history/index.md b/website/pages/docs/history/index.md index 30060f4..5211f99 100644 --- a/website/pages/docs/history/index.md +++ b/website/pages/docs/history/index.md @@ -100,4 +100,33 @@ The history of the projects presented in this page is incomplete. So far we only have a partial code history. Contributions are welcome. See the [git.md](../../git.md) page about various ways to contribute to GNU Boot or to contact the project to update the -information in this page. \ No newline at end of file +information in this page. + +Verified copyright headers +========================== + +So far the copyright headers were verified on the following files: + +* build (details in commit 1ccd450fec42ce426a00d075ad9b78a0b8c233ba + "build: Update copyright header."). + +* resources/grub/config/grub.cfg (details in commit + 2695c97561405741200dc25f520a5ff649b7421f "grub.cfg: Add copyright + header.") + +* resources/packages/src/release (details in commit + 65c0e57a550e8e6a8d80543585eeed66ad06cb64 "resources: packages: src: + release: Update copyright header.") + +Also note that some files are there to stay (like the grub.cfg file +above) but since we took the decision to migrate packages to Guix, +another way to help improve the copyright headers situation is to +migrate packages to Guix and to make sure that the Guix packages have +proper copyright headers. + +Since we can add the path of verified files above, it is also possible +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