Rename pull request GetGitRefName to GetGitHeadRefName to prepare introducing GetGitMergeRefName#35093

wxiaoguang merged 2 commits intogo-gitea:maingo-gitea/gitea:mainfrom

lunny:lunny/rename_pr_headrefnamelunny/gitea:lunny/rename_pr_headrefnameCopy head branch name to clipboard