Question about when mailing list postings are made following a PR

[David Holmes]

Hi Corey,

On 18/11/2020 6:59 am, Corey Ashford wrote:
> 
> Hello,
> 
> I made a new PR two days ago:  https://github.com/openjdk/jdk/pull/1245
> 
> It was automatically labeled with hotspot-compiler but I haven't seen 
> any posting on the hotspot-compiler-dev mailing list.
> 
> What is the criteria for making an automatic posting on the mailing list?

AFAIK everything you did was correct. I've cc'd the hotspot-compiler-dev 
list owner so they can see if something when wrong on the mailman side.

David
-----

> 
> Thanks for your consideration,
> 
> - Corey
> 
> Corey Ashford
> Software Engineer
> IBM Systems, LTC OpenJDK team
> 503-985-8699 Home office
> cjashfor at us.ibm.com
> 
> IBM