Gitea: [UI] Pull request page doesn't contain repo name

[schmittlauch]

• Gitea version (or commit ref): 1.1.2
• Git version: 2.12.3
• Operating system: openSUSE (Linux)
• Database (use [x]):
  
  
  
  • [ ] PostgreSQL
  
  
  • [x] MySQL
  
  
  • [ ] MSSQL
  
  
  • [ ] SQLite
  
  
• Can you reproduce the bug at https://try.gitea.io:
  
  
  
  • [ ] Yes (provide example URL)
  
  
  • [ ] No
  
  
  • [x] Not relevant
  
  

Description

The text about which branch should be merged into which other branch doesn't contain the name of the repository. In the screenshot below, it has the form organisation/branch
In my opinion the current behaviour is not really intuitive, it should either have the form org or user/repo:branch or just repo:branch.

Screenshots

[bkcsoft]

if it's changed go for owner/repo:branch. Since if you go for repo:branch you don't know which fork it's coming from :)

[lafriks]

I think best would be something like that: ... from fork_owner/repo:branch into devel