Update develop: improve PR body handling and auto-merge conditions#10

The0mikkel merged 3 commits intomainctfpilot/ci:mainfrom

developctfpilot/ci:developCopy head branch name to clipboard