You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on May 8, 2024. It is now read-only.
Currently, the bot excludes the mention when the submitter of the PR is an author from the list.
This has a draw back. The other bot will mark the PR as unowned when there are no other authors.
And the members who take care of merging will have to manually check if the submitter is also an author.
I believe it's better if the bot comments:
The PR was submitted by an author.
...
The text was updated successfully, but these errors were encountered:
Currently, the bot excludes the mention when the submitter of the PR is an author from the list.
This has a draw back. The other bot will mark the PR as
unowned
when there are no other authors.And the members who take care of merging will have to manually check if the submitter is also an author.
I believe it's better if the bot comments:
The text was updated successfully, but these errors were encountered: