enhancementhelp wantedquestion
Repository metrics
- Stars
- (1,290 stars)
- PR merge metrics
- (No merged PRs in 30d)
Description
For discussion, let's study possibilities:
- Closing issue when a TODO is removed or "marked as complete"?
- Remove TODOs when issue is closed?
- Do it automatically? At push-time? In a separate command (
brew doctor-like)?