diff --git a/doc/release/validation.tex b/doc/release/validation.tex index 8ef3eb13725fad8f5af1c6ffe289d99755cdd92a..7740bda3520bedbe9870bf78eb17560ef0bfa8be 100644 --- a/doc/release/validation.tex +++ b/doc/release/validation.tex @@ -121,6 +121,11 @@ sed -n 's/^author //p' | sort -f | uniq -ic | sort -nr \textbf{Note:} This requires to install the package \texttt{parallel}. Source for the command: \url{https://gist.github.com/amitchhajer/4461043}. +\textbf{Note:} For various reasons, people who contributed more than 100 LoC in +a release might not be cited as contributor. Check +\url{https://git.frama-c.com/frama-c/frama-c/-/wikis/Non-contributors} to see +if this is the case before adding someone (and edit the wiki if needed). + \subsection{Commit} Commit any change that you have done during these checks \textbf{and push}.