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
..
admin	Replace more db.DefaultContext (#27628)	2023-10-15 17:46:06 +02:00
auth
devtest
events
explore
feed
healthcheck
misc
org	Fix the missing repo count in new team page and edit team page (#27743)	2023-10-25 13:55:56 +08:00
repo	Allow pull requests Manually Merged option to be used by non-admins (#27780)	2023-10-30 11:13:06 +08:00
shared	Fix typo "GetLatestRunnerToken" (#27680)	2023-10-18 15:52:44 +00:00
user	Replace -1 with GhostUserID (#27703)	2023-10-20 14:43:08 +00:00
base.go
goget.go
home.go
metrics.go
nodeinfo.go
swagger_json.go
web.go
webfinger.go