Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:65383 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 57392 invoked from network); 29 Jan 2013 13:35:03 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 29 Jan 2013 13:35:03 -0000 Authentication-Results: pb1.pair.com header.from=jason.gerfen@gmail.com; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=jason.gerfen@gmail.com; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.210.170 as permitted sender) X-PHP-List-Original-Sender: jason.gerfen@gmail.com X-Host-Fingerprint: 209.85.210.170 mail-ia0-f170.google.com Received: from [209.85.210.170] ([209.85.210.170:48106] helo=mail-ia0-f170.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id C0/0A-10721-700D7015 for ; Tue, 29 Jan 2013 08:35:03 -0500 Received: by mail-ia0-f170.google.com with SMTP id k20so559462iak.29 for ; Tue, 29 Jan 2013 05:35:00 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:date:message-id:subject:from:to :content-type; bh=E91r79EmRrhtFDd3Yp4+XPaefhqmEqlJSVPJtrBHnpM=; b=k5fqJobAQScenQZ6vED3uRdybbtR6biE0SL/HosNsHZ0uBlLSafbY8BoqDL6IK7utm mdHNCchUrmEjg83ejAeq5BDU/D/tFl3hbNHk1ulGZZZ3h6mrzV+gTuaLE3dx8eFhYXiI 4qImvhvHQrK0n4OF3vvA6KCWEPkIbr96mjQbdvpm913QrHdPULXrk4IB3tak6CaY7Cjo f0f+Dq2/fEoDQpHySXpTx9AUZe2JdIShJxREsjASfynQhWypwxdcQXIO/R76l3qNT8U6 QdHoadfwnICJ4tTXu9R92u/S9HTDrmwwdkC/u2J3aRmLFsjAEdpFavDS+pPhNytnTb4S D/NA== MIME-Version: 1.0 X-Received: by 10.50.207.67 with SMTP id lu3mr935319igc.12.1359466500409; Tue, 29 Jan 2013 05:35:00 -0800 (PST) Received: by 10.64.68.34 with HTTP; Tue, 29 Jan 2013 05:35:00 -0800 (PST) Date: Tue, 29 Jan 2013 06:35:00 -0700 Message-ID: To: internals@lists.php.net Content-Type: multipart/alternative; boundary=14dae9340b65d7477104d46d7521 Subject: Policy on removal of push? From: jason.gerfen@gmail.com (Jason Gerfen) --14dae9340b65d7477104d46d7521 Content-Type: text/plain; charset=ISO-8859-1 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 --14dae9340b65d7477104d46d7521--