Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:100833 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 61890 invoked from network); 6 Oct 2017 18:12:01 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 6 Oct 2017 18:12:01 -0000 Authentication-Results: pb1.pair.com header.from=cmbecker69@gmx.de; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=cmbecker69@gmx.de; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmx.de designates 212.227.15.19 as permitted sender) X-PHP-List-Original-Sender: cmbecker69@gmx.de X-Host-Fingerprint: 212.227.15.19 mout.gmx.net Received: from [212.227.15.19] ([212.227.15.19:58578] helo=mout.gmx.net) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id D5/56-16800-077C7D95 for ; Fri, 06 Oct 2017 14:12:01 -0400 Received: from [192.168.2.106] ([79.243.124.218]) by mail.gmx.com (mrgmx003 [212.227.17.190]) with ESMTPSA (Nemesis) id 0MFdDB-1e3bUv2Paf-00Ec0P; Fri, 06 Oct 2017 20:11:56 +0200 To: Will Fitch , PHP internals References: Message-ID: <6f343a3c-cdbe-dae8-4668-30a327c0fd0c@gmx.de> Date: Fri, 6 Oct 2017 20:11:57 +0200 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.3.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Language: de-DE Content-Transfer-Encoding: 7bit X-Provags-ID: V03:K0:v6D6TrT4DtumKFP9BGwZgRJQoWPq1hgBM2iOXeo7F6ksMO9HNOV X8dfPR20IiGUWi8oQ0oXfoUGfPRXMSu9XXiqlktIcdtckD45jb2nFyEhs7oBRRA7yT4VWvr wTO5Wehe9n2KAlgr10mjn2dLq3F34+bzNcJa2/AeDSJ+6ci6oDlTZ9b+fPcVlgv0NPiKwTB ueV1unsjqHgeM+4eAcuLw== X-UI-Out-Filterresults: notjunk:1;V01:K0:dnVnxhTK9Ag=:PMtZNxtgKn/TaL3nL3qLpO u8KXCfvpUz7+mYwmEpJ2yzKGx/D8wJDUySvhqeZhPUJG3AgeedofAW1yCuGYTdycUlo1nNeqh pcgGDmjIeajzggCFfUET9MlE0+DT+jI1mTDPjOVs0jRz7yS2fIyvjrEQYLAKfiDbwT6KfiaLF CKeyylSGPALTaosECM2WGsFXCmgVLosm3OA9XlreFguBx5wRdvqU2wl0NLtr2BTld44m5Xf19 +THLoyqCED4TdDpc3F2WA363ejNVT55svDs3T2tDBOnYxrcp9PZe8BM/y2ZMOgF+vU2wiXijv e6tA85pGfFTvOmucW1FgHFkkR+mxzKKoxyhP+W0mQStpALCnsHh7th+ArhZ+o1k3WqVqEO2hV JZo10HsdXLTMrXWqt7kgpzH4dDKBBNNtAo8m358611r7skz/UhzShHH7tL2GNBWHp2W/pPgfZ DHeN1Z1xWS6PR56Hf2qBDhdmJndOv2IqZ2y3ZKUEeGujsmSBMOo6AUdAWBgdMV+ki9ewCQhS1 PTcfYgtMQZLabU4MXcaR02btqDlpNbNISMNLyxShohhOK2TMM2lOAhwaEBdsjjniZXcC+ANyl pX4mH4Ori1d+b40s1MTi0D89fdKSL+Z9XPCn6kSUoSewVV8p5U6hHn+zLo6uWJf+65sb4RlP3 G40cIO8pVk4c+l/oGKy9sC/RJ8PpEdY8oUCl/Fwo4b25A0rQyoggi8haGFoHZSyhvimSAUn1R AZtB5CRro26C8cBQrfMbcvYYgEa0HmlURbl78AwV4WrsL/pxL7V/kglOtCAEJ+wAaQVnS7y6n nT2nmTI7vP/KrU5Aw42ZGW2wDM6sP+SQpePj0mbyZFMUElDOtI= Subject: Re: GitHub and Extensions From: cmbecker69@gmx.de ("Christoph M. Becker") On 06.10.2017 at 19:26, Will Fitch wrote: > What is the process of closing out pull requests on GitHub for extensions > we maintain? For example: > https://github.com/php/pecl-numbers-bitset/issues/11 - I have no way of > closing that out other than to push a bogus commit with "Fix #11" as the > message. > > Is there are grant option for GitHub extension maintainers? If so, both PHP > and GH username is willfitch. Regarding PRs you can use ; choose the repo and login, and you'll be able to close the PR. Not sure about issues, though. Probably these shouldn't even be available. -- Christoph M. Becker