2 commits

Author	SHA1	Message	Date
Érico Nogueira	5ff646870d	.github/workflows: only lock PRs, not issues.	2021-03-25 22:33:04 -03:00
Érico Rolim	e03147ee62	.github/workflows: add CI run to lock closed threads. ... Closed PRs will be locked after 90 days of inactivity, to avoid comments on old inactive threads and encourage people to create new ones, which will receive the proper attention. Inspired by hook from fish-shell: a36dbad3b8/.github/workflows/lockthreads.yml	2021-03-24 00:13:25 -03:00