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
..
api	Fix bad method call when deleting user secrets via API (#27829)	2023-10-29 13:19:57 +01:00
common
install
private	Fix typo "GetLatestRunnerToken" (#27680)	2023-10-18 15:52:44 +00:00
utils
web	Allow pull requests Manually Merged option to be used by non-admins (#27780)	2023-10-30 11:13:06 +08:00
init.go	Replace more db.DefaultContext (#27628)	2023-10-15 17:46:06 +02:00