Hi!
I've noticed some strange things happening with pull requests links in
bugs.php.net. For example, this one:
https://bugs.php.net/bug.php?id=64549
Has link to completely unrelated php-gtk pull. I don't even see why
would they link - there's nothing in common between the two. How it
happened? Can we add an option for devs to delete pulls so it can be
cleaned up?
Stanislav Malyshev, Software Architect
SugarCRM: http://www.sugarcrm.com/
(408)454-6900 ext. 227
On Mon, Jun 17, 2013 at 1:50 AM, Stas Malyshev smalyshev@sugarcrm.comwrote:
Hi!
I've noticed some strange things happening with pull requests links in
bugs.php.net. For example, this one:https://bugs.php.net/bug.php?id=64549
Has link to completely unrelated php-gtk pull. I don't even see why
would they link - there's nothing in common between the two. How it
happened? Can we add an option for devs to delete pulls so it can be
cleaned up?Stanislav Malyshev, Software Architect
SugarCRM: http://www.sugarcrm.com/
(408)454-6900 ext. 227--
I suppose somebody added manually (maybe selected a bad PR.
I agree that there should be a button to remove the link to a given PR and
it would be also nice if there would be an entry in the history about who
linked/unlinked a PR.
--
Ferenc Kovács
@Tyr43l - http://tyrael.hu
On Mon, Jun 17, 2013 at 1:50 AM, Stas Malyshev smalyshev@sugarcrm.comwrote:
Hi!
I've noticed some strange things happening with pull requests links in
bugs.php.net. For example, this one:https://bugs.php.net/bug.php?id=64549
Has link to completely unrelated php-gtk pull. I don't even see why
would they link - there's nothing in common between the two. How it
happened? Can we add an option for devs to delete pulls so it can be
cleaned up?Stanislav Malyshev, Software Architect
SugarCRM: http://www.sugarcrm.com/
(408)454-6900 ext. 227--
I suppose somebody added manually (maybe selected a bad PR.
I agree that there should be a button to remove the link to a given PR and
it would be also nice if there would be an entry in the history about who
linked/unlinked a PR.--
Ferenc Kovács
@Tyr43l - http://tyrael.hu
I've manually removed the linked PR for #64549 for now.
--
Ferenc Kovács
@Tyr43l - http://tyrael.hu
Hi,
I suppose somebody added manually (maybe selected a bad PR.
Yes, most likely.
I agree that there should be a button to remove the link to a given PR and
it would be also nice if there would be an entry in the history about who
linked/unlinked a PR.
I will look into this. The whole PR thing currently is not nicely done,
I always hoped somebody improves it :)
johannes