Add support for creating pull requests via git push options

[strk]

Gitea 1.3 added support for push options: https://docs.gitea.io/en-us/push-options/
It would be nice if pull requests could be opened via push options, like it's done for gitlab: https://docs.gitlab.com/ce/user/project/push_options.html

[6543]

personal opinion: I would use tea or just click on the link the git push returns ...

[strk]

@tea requires installing another tool, while git push options are supported by git core itself.

[BrainWart]

I am also interested in this feature. Although using things like tea is an option, the git options are available from other git based tools. As an example, this feature would allow automatic pull requests from fluxcd's image updater using their available options.

[BrainWart]

The "Agit Setup" page in the documentation shows something very close to this. It will work for me. It allows you to create a PR using the ref.

https://docs.gitea.com/usage/agit-setup

[6543]

I guess we can close this issue now :)