New Release 2025-02-05-rc1 #483
pr-auto-milestone.yml
on: pull_request
pr-edit
/
Add PR to Milestone
4s
pr-edit
/
Check open PRs
0s
pr-edit
/
Set PR label
4s
pr-edit
/
Set PR title
4s
Annotations
5 warnings and 2 notices
pr-edit / Set PR label
"pull_request_target.opened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
|
pr-edit / Set PR label
"pull_request_target.reopened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
|
pr-edit / Set PR label
"pull_request_target.synchronize" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
|
pr-edit / Set PR label
"pull_request_target.edited" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
|
pr-edit / Set PR title
Ignore non merged pull request
|
pr-edit / Check open PRs
api call https://api.github.com/repos/geoadmin/service-search-sphinx/pulls?state=open&base=develop-2025-02-05
|
pr-edit / Check open PRs
No open PRs on branch develop-2025-02-05
|