allow bors to merge

This commit is contained in:
Jörg Thalheim 2023-01-18 15:54:27 +01:00
parent 6333578625
commit 50f713532a

View file

@ -136,6 +136,6 @@ branches:
required_linear_history: false
# Required. Restrict who can push to this branch. Team and user restrictions are only available for organization-owned repositories. Set to null to disable.
restrictions:
apps: []
apps: [ "bors" ]
users: []
teams: []