hyperlight-dev / hyperlight-dev/hyperlight
[github-actions] Make a bot to automate lifecycle management
Open
area/infrastructure
lifecycle/confirmed
- Dominant language
- Rust
- Stars
- 4.7k
- Forks
- 208
- Avg merge
- 1d 7h
- Merged PRs (30d)
- 47
Description
If we mark that an issue will be addressed with a PR, GitHub will automatically close the issue when the PR merges. With that, it's easy to forget to update our `lifecycle` label for those PRs. We should have a bot to help us manage that in some way.
Contributor guide
Assessment
This issue has not been assessed yet.