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>
pull/27836/head^2
Brecht Van Lommel2023-10-30 04:13:06 +07:00committed byGitHub