A lot of stale PR email

[Stefan Vodita]

Hi all,

It looks like the bot that marks stale PRs has unmarked a lot of them
(all?) two weeks ago and marked them stale again today. Do we know why?
Have I missed some discussion about this?

Stefan