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
