5 Commits

Author	SHA1	Message	Date
Traphalet	f920ff341b	ci(actions): update git actions to latest versions	2022-10-28 15:53:26 +03:00
Zaiming (Stone) Shi	8f5f58500c	chore(stale_bot): exempt 'Enhancement' label	2022-02-01 16:55:11 +01:00
Thales Macedo Garitezi	f947bf6f98	ci(stale): increase number of operations per run ... Since we currently have lots of issues, this may help with reaching the 2nd page of issues.	2022-01-03 13:25:10 -03:00
Thales Macedo Garitezi	1454374b25	ci(stale): avoid spending operations on pull requests ... We are interested in using stale actions only for issues, and currently there's no clear/clean way of making it not enumerate pull requests. As a workaround, we attempt to minimize the number of operations spent on pull requests by making it run only on pull requests which have an inexistent tag, thus skipping all PRs.	2022-01-03 13:11:33 -03:00
Thales Macedo Garitezi	39999fb467	ci: enable stale GH action in place of stalebot ... Since stalebot appears to have been unreliable recently (https://github.com/probot/stale/issues/349), we can try to use GH Actions to manage the stale issues.	2021-12-31 15:14:44 -03:00