API proposal: expose mirror options

[tzontron]

• Gitea version (or commit ref): 1.13.0
• Database (use [x]):
  • PostgreSQL
• Can you reproduce the bug at https://try.gitea.io:
  • Not needed

Description

Modify(PUT)/query(GET) the mirrors remote fqdn. Correct me if I'm blind but there is no way to get this url as of now using the api:

mirror of https://github.com/<user>/<repo>.git

I think the query should be under

GET /repos​/{owner}​/{repo}

What is this key used for from the response of the above request?:

"original_url": "string"

It is always empty string for all repos (regular, mirrors, forks). This sounds as the perfect key for the mirrors remote address.

For modification, we can have something like:

​PUT /repos​/{owner}​/{repo}​/mirror/url

and optionally for consistency, change

POST /repos/{owner}/{repo}/mirror-sync => POST /repos/{owner}/{repo}/mirror/sync

this will open /repos​/{owner}​/{repo}​/mirror for the rest of the available options in the future

Screenshots

The options exposed in the webui

[tzontron]

#13885 #13886 do solve partially the first issue. "original_url" does now contain the remote url as of 1.13.1