mirror of
https://github.com/Z3Prover/z3
synced 2025-12-01 09:39:05 +00:00
8e8799dbd3
This commit implements Phase 4 goals from the Daily Backlog Burner roadmap by adding structured issue templates to improve issue triage and quality. Added templates: - Bug Report: Comprehensive template for crash/correctness issues - Performance Issue: Specialized template for performance problems - Feature Request: Structured template for enhancement requests - Question: Template that guides users to appropriate channels - Build/Installation: Template for compilation and setup issues - Other: Catch-all template for miscellaneous issues - Config: Directs users to external resources (Discussions, Stack Overflow) Benefits: - Improves issue quality through structured reporting - Reduces maintainer time spent asking for missing information - Guides users to appropriate channels (Discussions vs Issues) - Enables better categorization and prioritization - Addresses identified patterns from backlog analysis These templates directly support the backlog management goals identified in issue #7903, helping transform the issue process from reactive to well-organized community engagement. 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com> |
||
|---|---|---|
| .. | ||
| 01-bug-report.yml | ||
| 02-performance-issue.yml | ||
| 03-feature-request.yml | ||
| 04-question.yml | ||
| 05-build-installation.yml | ||
| 06-other.yml | ||
| config.yml | ||