[CI][Discussion] discussion on Merge PR failed notification

[Jave-Chen]

Hi all,Sometimes merge PR to dev branch will cause GitHub actioin failed,
and now there isn't any notifications.


So is it needed to create a notification in this case? For example send
a mail to dev mail list.