Re: [Python-Dev] Appending a link back to bugs.python.org in GitHub PRs

[Nick Coghlan]

On 26 July 2017 at 02:21, Brett Cannon  wrote:
>
>
> On Tue, 25 Jul 2017 at 07:30 Ben Hoyt  wrote:
>>
>> With the linking back and forth, I'm curious why there wasn't a switch to
>> use GitHub's issue tracker when we switched to GitHub. I'm sure there was
>> previous discussion about this and good reasons not to, but couldn't find
>> those quickly (PEP 512, Google search, etc) -- can someone point me in the
>> right direction? -Ben
>
> Basically there was push-back on the idea and I only had enough time and
> patience for one major infrastructure change that was somewhat controversial
> and not for two.

And unlike repository management and review management, we don't have
any major process bottlenecks specifically related to bugs.python.org,
and Github's issue tracker is merely "good enough if you don't
otherwise have an issue tracker" rather than being exemplary the way
their repository and review management are.

So given the volume of incoming references to the current issue URLs,
the potential for increased lock-in to a proprietary service provider
with non-public finances, the difficulty of actually doing such a
migration, and the questionable practical benefits, "Integrate Roundup
with GitHub" was the default winner over doing a second data
migration.

The idea of moving tracker development *itself* to GitHub (and hence
getting to dispense with the metatracker in favour of a GitHub repo
with issues enabled) *has* been raised, and may be worth considering,
but that would be up to the folks that actually do the bulk of the
work on tracker maintenance (Berker, Ezio, Maciej, etc)

Cheers,
Nick.

-- 
Nick Coghlan   |   ncogh...@gmail.com   |   Brisbane, Australia
___
Python-Dev mailing list
Python-Dev@python.org
https://mail.python.org/mailman/listinfo/python-dev
Unsubscribe: 
https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com

Re: [Python-Dev] Appending a link back to bugs.python.org in GitHub PRs

[Brett Cannon]

On Tue, 25 Jul 2017 at 07:30 Ben Hoyt  wrote:

> With the linking back and forth, I'm curious why there wasn't a switch to
> use GitHub's issue tracker when we switched to GitHub. I'm sure there was
> previous discussion about this and good reasons not to, but couldn't find
> those quickly (PEP 512, Google search, etc) -- can someone point me in the
> right direction? -Ben
>

Basically there was push-back on the idea and I only had enough time and
patience for one major infrastructure change that was somewhat
controversial and not for two.

-Brett


>
> On Fri, Jul 21, 2017 at 5:28 PM, Brett Cannon  wrote:
>
>> Thanks to Kushal Das we now have one of the most requested features since
>> the transition: a link in PRs back to bugs.python.org (in a more
>> discoverable way since we have had them since Bedevere launched :) . When a
>> pull request comes in with an issue number in the title (or one gets
>> added), a link to bugs.python.org will be appended to the PR's body (the
>> message you fill out when creating a PR). There's no logic to remove the
>> link if the issue number is removed from the title, changed, or for
>> multiple issue numbers since basically those cases are all rare and it was
>> easier to launch without that kind of support.
>>
>> P.S.: Berker Peksag is working on providing commit emails with diffs in
>> them which is the other most requested feature since the transition.
>>
>> ___
>> Python-Dev mailing list
>> Python-Dev@python.org
>> https://mail.python.org/mailman/listinfo/python-dev
>>
> Unsubscribe:
>> https://mail.python.org/mailman/options/python-dev/benhoyt%40gmail.com
>>
>>
>
___
Python-Dev mailing list
Python-Dev@python.org
https://mail.python.org/mailman/listinfo/python-dev
Unsubscribe: 
https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com

Re: [Python-Dev] Appending a link back to bugs.python.org in GitHub PRs

[Ben Hoyt]

With the linking back and forth, I'm curious why there wasn't a switch to
use GitHub's issue tracker when we switched to GitHub. I'm sure there was
previous discussion about this and good reasons not to, but couldn't find
those quickly (PEP 512, Google search, etc) -- can someone point me in the
right direction? -Ben

On Fri, Jul 21, 2017 at 5:28 PM, Brett Cannon  wrote:

> Thanks to Kushal Das we now have one of the most requested features since
> the transition: a link in PRs back to bugs.python.org (in a more
> discoverable way since we have had them since Bedevere launched :) . When a
> pull request comes in with an issue number in the title (or one gets
> added), a link to bugs.python.org will be appended to the PR's body (the
> message you fill out when creating a PR). There's no logic to remove the
> link if the issue number is removed from the title, changed, or for
> multiple issue numbers since basically those cases are all rare and it was
> easier to launch without that kind of support.
>
> P.S.: Berker Peksag is working on providing commit emails with diffs in
> them which is the other most requested feature since the transition.
>
> ___
> Python-Dev mailing list
> Python-Dev@python.org
> https://mail.python.org/mailman/listinfo/python-dev
> Unsubscribe: https://mail.python.org/mailman/options/python-dev/
> benhoyt%40gmail.com
>
>
___
Python-Dev mailing list
Python-Dev@python.org
https://mail.python.org/mailman/listinfo/python-dev
Unsubscribe: 
https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com

Re: [Python-Dev] Appending a link back to bugs.python.org in GitHub PRs

[Berker Peksağ]

On Sat, Jul 22, 2017 at 12:28 AM, Brett Cannon  wrote:
> P.S.: Berker Peksag is working on providing commit emails with diffs in them
> which is the other most requested feature since the transition.

I forgot to give a status update on this. I deployed it on Heroku last
week. You can see an example email at
https://mail.python.org/pipermail/python-checkins/2017-July/151296.html

--Berker
___
Python-Dev mailing list
Python-Dev@python.org
https://mail.python.org/mailman/listinfo/python-dev
Unsubscribe: 
https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com

Re: [Python-Dev] Appending a link back to bugs.python.org in GitHub PRs

[Mariatta Wijaya]

Thanks for working on this, Kushal and Brett.

Works great!

Mariatta Wijaya

On Fri, Jul 21, 2017 at 2:28 PM, Brett Cannon  wrote:

> Thanks to Kushal Das we now have one of the most requested features since
> the transition: a link in PRs back to bugs.python.org (in a more
> discoverable way since we have had them since Bedevere launched :) . When a
> pull request comes in with an issue number in the title (or one gets
> added), a link to bugs.python.org will be appended to the PR's body (the
> message you fill out when creating a PR). There's no logic to remove the
> link if the issue number is removed from the title, changed, or for
> multiple issue numbers since basically those cases are all rare and it was
> easier to launch without that kind of support.
>
> P.S.: Berker Peksag is working on providing commit emails with diffs in
> them which is the other most requested feature since the transition.
>
> ___
> Python-Dev mailing list
> Python-Dev@python.org
> https://mail.python.org/mailman/listinfo/python-dev
> Unsubscribe: https://mail.python.org/mailman/options/python-dev/
> mariatta.wijaya%40gmail.com
>
>
___
Python-Dev mailing list
Python-Dev@python.org
https://mail.python.org/mailman/listinfo/python-dev
Unsubscribe: 
https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com

[Python-Dev] Appending a link back to bugs.python.org in GitHub PRs

[Brett Cannon]

Thanks to Kushal Das we now have one of the most requested features since
the transition: a link in PRs back to bugs.python.org (in a more
discoverable way since we have had them since Bedevere launched :) . When a
pull request comes in with an issue number in the title (or one gets
added), a link to bugs.python.org will be appended to the PR's body (the
message you fill out when creating a PR). There's no logic to remove the
link if the issue number is removed from the title, changed, or for
multiple issue numbers since basically those cases are all rare and it was
easier to launch without that kind of support.

P.S.: Berker Peksag is working on providing commit emails with diffs in
them which is the other most requested feature since the transition.
___
Python-Dev mailing list
Python-Dev@python.org
https://mail.python.org/mailman/listinfo/python-dev
Unsubscribe: 
https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com