Skip to content

Define default date after which to collect PRs

PRs are now collected starting at the time of last modification of the output file. In the past, if a meeting happened on March 1st, then

using ./generator.sh "01.03.2024" would include PRs from March 2nd on

typing ./generator.sh "02.03.2024" would omit PRs that happened on March 1st after the list was generated.

Edited by Fabrice Lecuyer

Merge request reports

Loading