Merge Feature bug trimming branch to main#1331

Open

NorbertLoh wants to merge 12 commits intomasterfrom feature-bug-trimming

+624-146

Commits on Feb 4, 2025

Fix value of close state in RestGithubIssueState to follow GitHub api standards (#1311 )
yucongkoo
authored

Commits on Feb 8, 2025

Add new phase called bug trimming to CATcher (#1308 )
NorbertLoh
authored

Commits on Feb 10, 2025

Commits on Feb 11, 2025

Create issue component for bug trimming phase (#1319 )
wx-03
authored