Xavier Morel db9e86f760 [IMP] forwardport: reliability of PR reminders ... The exponential backoff offsets from the write_date of the children PRs, however it doesn't reset, so the offsetting gets bumped up way more than originally expected or designed if the child PRs are under active development for some reason. Fix this by adding a field to specifically record the date of merge of a PR, and check that feature against the backoff offset. This should provide more regular and reliable backoff. Fixes #369		2020-05-26 15:56:36 +02:00
..
post-reminder-date.py	[IMP] forwardport: reliability of PR reminders	2020-05-26 15:56:36 +02:00
pre-tagging.py	[IMP] forwardport: reliability of PR reminders	2020-05-26 15:56:36 +02:00