Fix https://github.com/performancecopilot/pcp/issues/2562#2633

christianhorn wants to merge 3 commits into

performancecopilot:mainperformancecopilot/pcp:mainfrom

christianhorn:push-docschristianhorn/pcp:push-docsCopy head branch name to clipboard