On Tuesday, July 23, 2013 17:42:30 Walter Bright wrote: > On 7/23/2013 4:57 PM, Vladimir Panteleev wrote: > > On Tuesday, 23 July 2013 at 21:00:08 UTC, Walter Bright wrote: > >> But in general, PR's that are flagged as "We can’t automatically merge > >> this > >> pull request" tend to not get much attention. Despite that, we can and > >> should do better. > > > > Only committers see that notice. Contributors who do not have commit > > access do not see that notice. If you need a pull request author to > > update their pull request, you need to let them know explicitly. > > Ah, I had no idea that was true. Thanks for letting me know!
Agreed. I didn't realize that that was the case either. Thanks Vladimir! - Jonathan M Davis
