Gitea: [Proposal] Add "bot account" as a type of user

[a1012112796]

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

Description

Hello, Sometimes we will want add a new accout which only used by bot apps to call api. So I think maybe we can add it as a new user type. It maybe follow this tips.

• Bot account willn't login on ui page
• Bot account maybe should not have ability create it's own repos
• Each boat account should belong to a user or an org, and this user or the owners of this org can change the setting of the bot account. (important)
• manager can limit the max number of the bot acounts that one user and org can have
• Bot account is not necessary to request email and the system will't send email notify and action notify to them also
• show bot label on frofile page
• ......

Maybe usefull to fix #12985.

Screenshots

[silverwind]

• Bot account should not have a password, or if git password auth is really desired, should have it optional with the ability to unset password.
• Bot account should have the ability to create app tokens and add ssh/gpg keys.

[basxto]

This would also be interesting for gpg key checks of mirrored repositories.
You could just add a bot for the original owner.

[mscherer]

I would say that multiple owners could also be useful, so more than 1 person can operate the bot (useful if one of the owner is away)

[lafriks]

My proposal would be:

• Bot can be server wide (managed by server admins) - owner_id = nil
  
  
  
  • Bot can be organization owned (managed by organization admins) - owner_id = organization id
  
  
  • Bot can be user owned (managed by single user) - owner_id = user id
  
  

[a1012112796]

now, I found it in gh, maybe we can add a similar mechanism.
https://docs.github.com/en/free-pro-team@latest/developers/apps/about-apps#about-github-apps