3 ms·Might be a good idea to go to the PR and mention that. The stale bot has done its awful work… again.by arthur2e5 5y agoMight be a good idea to go to the PR and mention that. The stale bot has done its awful work… again.