Add milestone hints to created PRs

Signed-off-by: Joakim Erdfelt <joakim.erdfelt@gmail.com>
This commit is contained in:
Joakim Erdfelt 2021-09-13 11:53:15 -05:00
parent ef1b29c48f
commit c46875de95
No known key found for this signature in database
GPG Key ID: 2D0E1FB8FE4B68B4
1 changed files with 6 additions and 0 deletions

View File

@ -5,6 +5,8 @@ updates:
target-branch: "jetty-9.4.x"
schedule:
interval: "daily"
# Associate with milestone 9.4.x
milestone: 3
ignore:
# Restrict updates in this branch to jetty in the 9.4.x space
- dependency-name: "javax.servlet:*"
@ -25,6 +27,8 @@ updates:
target-branch: "jetty-10.0.x"
schedule:
interval: "daily"
# Associate with milestone 10.0.x
milestone: 6
ignore:
# Restrict updates in this branch to jetty in the 10.x.x space
- dependency-name: "jakarta.servlet:*"
@ -47,6 +51,8 @@ updates:
target-branch: "jetty-11.0.x"
schedule:
interval: "weekly"
# Associate with milestone 11.0.x
milestone: 7
ignore:
# Restrict updates in this branch to jetty in the 11.x.x space
- dependency-name: "jakarta.servlet:*"