Source branch reference should probably be `user/repo`

[silverwind]

Feature Description

There seem to be various ways that systems refer to the source branch of a PR:

• user/repo:branch is used by gitea
• user:branch is used by github
• user/branch is used by gitlab and in git cli (if remote name is user name)

I'd argue we should go with the format of user/branch, because it lends itself for copy-paste with git cli when remote name equals username, where one can do git checkout -t user/branch. Anyone agree?

Screenshots

[noerw]

You're talking about changing the displayed string, not the way gitea parses these references (eg in compare page url), right?
I'm against changing the latter as that's public api used eg in tea.
If i remember correctly, the syntax supported by gitea for these values also includes the github syntax (user:branch), but not the gitlab syntax, but I'd need to check that again.

No opinion on changing the displayed string - you can also argue that copypasting this string into gitea's compare URL is a similar valid use case ;)

[silverwind]

Yes, only the displayed and copied syntax. To me at least when I work with git cli, I prefer user/branch as my remote names are always the username, and branch names matches theirs of course.

[wxiaoguang]

ps: I prefer user/repo:branch, IIRC it can be used directly in URL as /compare/local...user/repo:branch

For command line .... there are 2 options now:

1. Use tea ?
2. After my Always show the command line instructions button even if there are conflicts #22909 , I guess the command line could also be copied directly now? Or show something more there?

[lunny]

I would like to keep this because when I want to review a pull request, I want to pull it. I can copy it to my command line and remove the : in the middle.

BTW: sorry to close this accidentally.

[silverwind]

Yes, same for me. user/branch sytnax is ideal for copy to git CLI.

[lunny]

As your local branch name? But how do you copy the remote address url?

[silverwind]

git remote add <user> <url>
git fetch <user>
git checkout -t <user>/<branch>

url is obtained from clicking the branch link and copy from repo, the rest is copied from the PR page.

[wxiaoguang]

After #22909 , I guess the command line could also be copied directly now? Or show something more there?

If the repo is a fork, the command line is also for the fork IIRC.