A product team stores dozens of issues in a repository. Some are defects, some are feature requests, and some are documentation tasks. The team lead wants an easy way to categorize each issue so anyone can quickly filter the issue list to see only defects. Which GitHub feature is designed for this categorization and filtering?