[python-committers] Re: workflow enhancement: a `mark bug as fixed` PR tag [feature request]

2020-10-11 Thread Tal Einat
On Sun, Oct 11, 2020 at 10:13 PM Gregory P. Smith wrote: > > We've got the automerge tag on GH, it+bot make it awesome. There's one more > thing I'd like to see that could help with bug hygiene: A tag to close the > associated bug as "fixed" after the merge happens. > > This doesn't have to be t

[python-committers] Re: workflow enhancement: a `mark bug as fixed` PR tag [feature request]

2020-10-11 Thread Gregory P. Smith
On Sun, Oct 11, 2020 at 4:23 PM Berker Peksağ wrote: > On Sun, Oct 11, 2020 at 10:14 PM Gregory P. Smith wrote: > > > > We've got the automerge tag on GH, it+bot make it awesome. There's one > more thing I'd like to see that could help with bug hygiene: A tag to close > the associated bug as "fi

[python-committers] Re: workflow enhancement: a `mark bug as fixed` PR tag [feature request]

2020-10-11 Thread Berker Peksağ
On Sun, Oct 11, 2020 at 10:14 PM Gregory P. Smith wrote: > > We've got the automerge tag on GH, it+bot make it awesome. There's one more > thing I'd like to see that could help with bug hygiene: A tag to close the > associated bug as "fixed" after the merge happens. You can already do that by a

[python-committers] Re: workflow enhancement: a `mark bug as fixed` PR tag [feature request]

2020-10-11 Thread Gregory P. Smith
On Sun, Oct 11, 2020 at 2:58 PM Victor Stinner wrote: > GitHub workflow is nice when a single commit is enough to close an > issue. But what if a bug should be fixed in multiple branches? Is > there a way in GitHub to require one commit per branch to close an > issue? > I wasn't worried about au

[python-committers] Re: workflow enhancement: a `mark bug as fixed` PR tag [feature request]

2020-10-11 Thread Victor Stinner
GitHub workflow is nice when a single commit is enough to close an issue. But what if a bug should be fixed in multiple branches? Is there a way in GitHub to require one commit per branch to close an issue? Victor Le dim. 11 oct. 2020 à 21:16, Guido van Rossum a écrit : > > Once issues move to G

[python-committers] Re: workflow enhancement: a `mark bug as fixed` PR tag [feature request]

2020-10-11 Thread Guido van Rossum
Once issues move to GitHub we’ll have this with no additional effort. On Sun, Oct 11, 2020 at 12:14 Gregory P. Smith wrote: > We've got the automerge tag on GH, it+bot make it awesome. There's one > more thing I'd like to see that could help with bug hygiene: A tag to close > the associated bug

[python-committers] workflow enhancement: a `mark bug as fixed` PR tag [feature request]

2020-10-11 Thread Gregory P. Smith
We've got the automerge tag on GH, it+bot make it awesome. There's one more thing I'd like to see that could help with bug hygiene: A tag to close the associated bug as "fixed" after the merge happens. This doesn't have to be tied to automerge; in practice you'd find them used in unison somewhat o