[WIP] Implement goal and stretch goal from issue 4424 - #21163

[WIP] Implement goal and stretch goal from issue 4424#21163

ginsbach with Copilot wants to merge 1 commit into

maingithub/codeql:mainfrom

copilot/implement-goal-stretch-goalgithub/codeql:copilot/implement-goal-stretch-goalCopy head branch name to clipboard