Aug. 12, 2018
2:22 p.m.
On Sun, Aug 12, 2018 at 4:22 PM, Eric V. Smith <eric@trueblade.com> wrote:
https://github.com/python/cpython/pull/8745
This failed (I think travis, but can't tell now). I thought I could close it and re-open it to get it to retry, but apparently not. When I closed it, the backport branch was deleted. At this stage, how do I get the backport to try again?
I've just reapplied the "needs backport to 3.7" label and the bot opened https://github.com/python/cpython/pull/8746
--Berker