Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-29 00:58:20 +01:00
Code Issues Projects Releases Packages Wiki Activity

dependabot: Specify time and reduce PR limit (#38947)

Browse source 
The merge queue today was greatly affected by many dependabot PRs in the
European morning, which caused a long merge queue for the rest of the
day.
Let's attempt to schedule dependabot updates during less busy times, and
also reduce the limit of open PRs.
[Dependabot
documentation](https://docs.github.com/en/code-security/dependabot/working-with-dependabot/dependabot-options-reference#schedule-)

Testing: No testing.

Signed-off-by: Jonathan Schwender <schwenderjonathan@gmail.com>
This commit is contained in:
Jonathan Schwender 2025-08-27 08:22:05 +02:00 • committed by GitHub
parent 3708d493b9
commit 5a9034cd5a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
.github/dependabot.yml vendored
View file

@ -7,7 +7,10 @@ updates:
- "tests/wpt/**" - "tests/wpt/**"
schedule: schedule:
interval: daily interval: daily
open-pull-requests-limit: 10 # default timezone is UTC
# CI is usually busiest during european daytime.
time: "00:00"
open-pull-requests-limit: 7
allow: allow:
- dependency-type: direct - dependency-type: direct
- dependency-type: indirect - dependency-type: indirect