# pull reqs broken in bugs.php.net?

- Thread: https://externals.io/message/67710
- Original archive: https://news-web.php.net/php.internals/67710
- Started by Stas Malyshev on 2013-06-16T23:50:48+00:00
- Messages: 4
- Reply by email to internals@lists.php.net
- More for agents: search with https://externals.io/search.md?q={query} · JSON API at https://externals.io/api · documentation at https://externals.io/llms.txt

---

## #67710 — Stas Malyshev — 2013-06-16T23:50:48+00:00

URL: https://externals.io/message/67710#67710

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

---

## #67712 — Ferenc Kovacs — 2013-06-17T09:07:43+00:00

URL: https://externals.io/message/67710#67712 · In reply to: #67710

On Mon, Jun 17, 2013 at 1:50 AM, Stas Malyshev <smalyshev@sugarcrm.com>wrote:

> 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

---

## #67713 — Ferenc Kovacs — 2013-06-17T09:13:55+00:00

URL: https://externals.io/message/67710#67713 · In reply to: #67712

>
>
>
> On Mon, Jun 17, 2013 at 1:50 AM, Stas Malyshev <smalyshev@sugarcrm.com>wrote:
>
> > […]
> 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

---

## #67714 — johannes@schlueters.de — 2013-06-17T09:48:53+00:00

URL: https://externals.io/message/67710#67714 · In reply to: #67712

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
