Improve pull/ push mirror documentation (especially for GitHub)#21801

zeripath merged 3 commits intogo-gitea:maingo-gitea/gitea:mainfrom

delvh:documentation/push-mirrorsdelvh/gitea:documentation/push-mirrorsCopy head branch name to clipboard