Julian Oes fa9ac6ecf6 github: tone stalebot down ... My suggestion is to re-configure stale bot so it just adds the label stale but does not close the issue/PR. This enables us to look for outdated issues using the stale label and close them. This brings these advantages: - No more endless re-opening of PRs and issues which is not fun (and I will eventually give up on). - Less stalebot comment noise. (Because it is handy to look for all issues/PRs without any comments to see what is unanswered). - I'm not listed as "participating" in all the issues/PRs just because I was just fighting the stalebot. - Less notifications meaning we can see anything in the noise.		2019-10-01 10:35:28 -04:00
..
ISSUE_TEMPLATE	Github templates add support question and documentation issue (#10613)	2018-10-01 09:44:19 -04:00
workflows	Github actions simple cpp build	2019-09-10 17:07:51 -04:00
stale.yml	github: tone stalebot down	2019-10-01 10:35:28 -04:00