# Policy on removal of push?

- Thread: https://externals.io/message/65383
- Original archive: https://news-web.php.net/php.internals/65383
- Started by Jason Gerfen on 2013-01-29T13:35:00+00:00
- Messages: 2
- 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

---

## #65383 — Jason Gerfen — 2013-01-29T13:35:00+00:00

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

Is there a procedure to take regarding removal of a push to the github repo
or do you simply close it. I would like to re-submit a push request against
the 5.5 branch while removing the old push request.

Also can I obtain some information on the current state of new function
extending regarding acceptance of a patch for bug #38917? (bug
report/feature request at https://bugs.php.net/bug.php?id=38917)

And last but not least does an RFC need to be created for this type of
extended functionality or would function documentation suffice?

Thanks,
-- 
Jas <http://phpdhcpadmin.sourceforge.net

---

## #65431 — Stas Malyshev — 2013-01-29T20:22:47+00:00

URL: https://externals.io/message/65383#65431 · In reply to: #65383

Hi!

> Also can I obtain some information on the current state of new function
> extending regarding acceptance of a patch for bug #38917? (bug
> report/feature request at https://bugs.php.net/bug.php?id=38917)

The patch in this pull: https://github.com/php/php-src/pull/37 has some
memory leaks and needs other adjustments, outlined in the comments. Once
it is done, we can review it again and if it's good, see about including
it in 5.5.
-- 
Stanislav Malyshev, Software Architect
SugarCRM: http://www.sugarcrm.com/
(408)454-6900 ext. 227