When a GitHub user makes a contribution and has not connected a WP.org account, the bot should also ping that contributor with a polite explanation of the benefits of connecting their accounts.
This likely can just be included in the same comment at the end, but we should confirm that users receive pings when added to a comment in an edit.
When a GitHub user makes a contribution and has not connected a WP.org account, the bot should also ping that contributor with a polite explanation of the benefits of connecting their accounts.
This likely can just be included in the same comment at the end, but we should confirm that users receive pings when added to a comment in an edit.