From 1a9eb6bc3b605ef91d58d0bfb9914b88aa5a824f Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 4 Nov 2021 14:35:00 +0100
Subject: [PATCH] [relman] instructions for adding someone to authors' list
---
doc/release/build.tex | 8 ++++++++
1 file changed, 8 insertions(+)
diff --git a/doc/release/build.tex b/doc/release/build.tex
index 2ca1349b462..8f1ad4dd19b 100644
--- a/doc/release/build.tex
+++ b/doc/release/build.tex
@@ -69,6 +69,14 @@ There are many administrative steps, coordinated by the release manager.
% and check its contents.
\item Update the Frama-C's authors list in files
\texttt{src/plugins/gui/help\_manager.ml} and \texttt{opam/opam}.
+ Traditionally, an author is added if they have contributed 100+ LoC in
+ the release, as counted by:
+ \begin{verbatim}
+ git ls-files | \
+ xargs -n1 git blame --line-porcelain | \
+ sed -n 's/^author //p' | sort -f | uniq -ic | sort -nr
+ \end{verbatim}
+ (source for the command: \url{https://gist.github.com/amitchhajer/4461043})
\item Recompile and test to check that all is fine.
\item Check the documentation as per Section~\ref{update_doc}
\item update the \texttt{opam} directory: update the version name and
--
GitLab