Improve file diff display in GitHub PR comments#12918

ericholscher merged 16 commits intomainreadthedocs/readthedocs.org:mainfrom

claude/github-comment-file-sorting-8JffFreadthedocs/readthedocs.org:claude/github-comment-file-sorting-8JffFCopy head branch name to clipboard