[core-workflow] Re: How long to wait for any reaction to a (new) PR?