mirror of
https://github.com/servo/servo
synced 2026-05-12 09:56:50 +02:00
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>