Way to set mirror interval via API?

[rcarmo]

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

Description

There seems to be no way to set the mirror interval using the API. I can see mirror: true when I GET /repos/{owner}/{repo}, and I see the Web UI POSTing to /user/repo/settings, but there is no corresponding API call... ...

[6543]

we can either add it as option to repo endpoints or make a new endpoint for mirrors only