On Mon, Jun 17, 2013 at 11:07 AM, Ferenc Kovacs <tyr...@gmail.com> wrote:
> > > > On Mon, Jun 17, 2013 at 1:50 AM, Stas Malyshev <smalys...@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 >> >> -- >> PHP Internals - PHP Runtime Development Mailing List >> To unsubscribe, visit: http://www.php.net/unsub.php >> >> > 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
