][Thread Next][Date Index
[Python-Dev] Stop automerging
Oh yes, one issue of missing bpo-xxx is that bots don't report merged
commits into the bpo. I like using the bpo issue to track backports:
It was just a general remark, it's fine for these commits. Someone can
add them manually to the bpo if you want.
Le mer. 12 sept. 2018 ? 17:56, Victor Stinner <vstinner at redhat.com> a ?crit :
> Hi Benjamin,
> Le mer. 12 sept. 2018 ? 17:19, Benjamin Peterson <benjamin at python.org> a ?crit :
> > (Just checking) Is there something wrong with this message besides the <-- comment?
> Since the commit is described as a follow-up of
> 90fc8980bbcc5c7dcced3627fe172b0bfd193a3b, maybe it could also include
> "bpo-31902: " prefix in it's title. Just to ease following where the
> change comes from.
> IMHO the main complain of Serhiy was the giant <!-- ... --> comment
> ;-) I agree that this one has to go, and hopefully it's already fixed.
> We are now good!