0
0
mirror of https://github.com/go-gitea/gitea.git synced 2024-12-14 05:24:03 +01:00
gitea/templates/repo/issue/view_content
Brecht Van Lommel 1756e30e10
Allow pull requests Manually Merged option to be used by non-admins (#27780)
Currently this feature is only available to admins, but there is no
clear reason why. If a user can actually merge pull requests, then this
seems fine as well.

This is useful in situations where direct pushes to the repository are
commonly done by developers.

---------

Co-authored-by: delvh <dev.lh@web.de>
2023-10-30 11:13:06 +08:00
..
add_reaction.tmpl
attachments.tmpl
comments_delete_time.tmpl
comments.tmpl Add anchor to review types (#26894) 2023-10-14 16:13:59 -05:00
context_menu.tmpl
pull_merge_instruction.tmpl Improve pull request command line instructions (#27778) 2023-10-25 15:01:31 +00:00
pull.tmpl Allow pull requests Manually Merged option to be used by non-admins (#27780) 2023-10-30 11:13:06 +08:00
reactions.tmpl
reference_issue_dialog.tmpl
show_role.tmpl
sidebar.tmpl
update_branch_by_merge.tmpl