Something is broken with the contributors list

[Debilski]

For unclear reasons, git shortlog did not work in the CI environment. It needs to be git shortlog HEAD.

[codecov-commenter]

Codecov Report

Merging #782 (3b5c9d0) into main (326c2b8) will increase coverage by 0.12%. Report is 1 commits behind head on main. The diff coverage is n/a.

:exclamation: Your organization needs to install the Codecov GitHub app to enable full functionality.

@@            Coverage Diff             @@
##             main     #782      +/-   ##
==========================================
+ Coverage   85.61%   85.74%   +0.12%     
==========================================
  Files          21       21              
  Lines        2371     2371              
==========================================
+ Hits         2030     2033       +3     
+ Misses        341      338       -3     

see 1 file with indirect coverage changes