7125: Support merging master/main into other branches in GitGraph #8703
Triggered via pull request
November 12, 2025 06:35
darshanr0107
darshanr0107
synchronize
#7155
Status
Success
Total duration
11s
Artifacts
–
Annotations
4 warnings
|
pr-labeler
"pull_request_target.edited" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
|
|
pr-labeler
"pull_request_target.synchronize" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
|
|
pr-labeler
"pull_request_target.reopened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
|
|
pr-labeler
"pull_request_target.opened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
|