ci: add resolved

This commit is contained in:
Shohei Ueda 2021-06-26 04:08:37 +09:00 committed by GitHub
parent dead32d589
commit 101470c99f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -30,3 +30,14 @@ labels:
labeled: labeled:
issue: issue:
body: This issue is easy for contributing. Everyone can work on this. body: This issue is easy for contributing. Everyone can work on this.
- name: resolved
labeled:
issue:
body: |
This issue has been **LOCKED** because of it being resolved!
The issue has been fixed and is therefore considered resolved.
If you still encounter this or it has changed, open a new issue instead of responding to solved ones.
action: close
locking: lock
lock_reason: resolved