Problems with reviews in expr

Bill Hart

unread,

Apr 26, 2018, 10:36:08 AM4/26/18

to Pyomo Developers

Somehow, github has lost the reviews for this PR. We need folks to go back and in and confirm their review.

--Bill

Nicholson, Bethany L.

unread,

Apr 26, 2018, 10:40:08 AM4/26/18

to pyomo-de...@googlegroups.com

Reviews become stale and are dismissed when additional commits are added to a PR.

Bethany

--
You received this message because you are subscribed to the Google Groups "Pyomo Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pyomo-develope...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Bill Hart

unread,

Apr 26, 2018, 10:41:30 AM4/26/18

to Pyomo Developers

Wow. That's weird. I don't think I've seen that before.

--Bill

On Thursday, April 26, 2018 at 8:40:08 AM UTC-6, Bethany Nicholson wrote:

Reviews become stale and are dismissed when additional commits are added to a PR.

Bethany

From: pyomo-developers@googlegroups.com [mailto:pyomo-developers@googlegroups.com] On Behalf Of Bill Hart
Sent: Thursday, April 26, 2018 8:36 AM
To: Pyomo Developers <pyomo-developers@googlegroups.com>
Subject: [EXTERNAL] Problems with reviews in expr_dev PR

Somehow, github has lost the reviews for this PR. We need folks to go back and in and confirm their review.

--Bill

--
You received this message because you are subscribed to the Google Groups "Pyomo Developers" group.

To unsubscribe from this group and stop receiving emails from it, send an email to pyomo-developers+unsubscribe@googlegroups.com.

Reply all

Reply to author

Forward