diff options
| author | Brecht Van Lommel <brecht@blender.org> | 2023-10-30 04:13:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-30 11:13:06 +0800 |
| commit | 1756e30e102d079f8425aa2061ef80fd36c2e57d (patch) | |
| tree | 54e1faf1a1d2152fedc063f54d0e0759b8106407 /Dockerfile | |
| parent | b36e2ca4195298d2e4516e3022b953543f62f470 (diff) | |
| download | gitea-1756e30e102d079f8425aa2061ef80fd36c2e57d.tar.gz gitea-1756e30e102d079f8425aa2061ef80fd36c2e57d.zip | |
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>
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions