Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:100835 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 4632 invoked from network); 7 Oct 2017 11:45:26 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 7 Oct 2017 11:45:26 -0000 Authentication-Results: pb1.pair.com header.from=johannes@schlueters.de; sender-id=unknown Authentication-Results: pb1.pair.com smtp.mail=johannes@schlueters.de; spf=permerror; sender-id=unknown Received-SPF: error (pb1.pair.com: domain schlueters.de from 84.19.169.162 cause and error) X-PHP-List-Original-Sender: johannes@schlueters.de X-Host-Fingerprint: 84.19.169.162 mail.experimentalworks.net Received: from [84.19.169.162] ([84.19.169.162:47128] helo=mail.experimentalworks.net) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id A5/B8-16800-35EB8D95 for ; Sat, 07 Oct 2017 07:45:24 -0400 Received: from kuechenschabe.fritz.box (ppp-46-244-185-20.dynamic.mnet-online.de [46.244.185.20]) by mail.experimentalworks.net (Postfix) with ESMTPSA id A5B7466707; Sat, 7 Oct 2017 13:45:20 +0200 (CEST) Message-ID: <1507376716.17976.6.camel@schlueters.de> To: "Christoph M. Becker" , Will Fitch , PHP internals Date: Sat, 07 Oct 2017 13:45:16 +0200 In-Reply-To: <6f343a3c-cdbe-dae8-4668-30a327c0fd0c@gmx.de> References: <6f343a3c-cdbe-dae8-4668-30a327c0fd0c@gmx.de> Content-Type: text/plain; charset="UTF-8" X-Mailer: Evolution 3.18.5.2-0ubuntu3.2 Mime-Version: 1.0 Content-Transfer-Encoding: 8bit Subject: Re: [PHP-DEV] Re: GitHub and Extensions From: johannes@schlueters.de (Johannes =?ISO-8859-1?Q?Schl=FCter?=) On Fr, 2017-10-06 at 20:11 +0200, Christoph M. Becker wrote: > Not sure about issues, though.  Probably these shouldn't even be > available. > Correct, usually we disable issues and point users to bugs.php.net to have a central bug database instead of having to track multiple trackers. Usually repos are created via a script on https://master.php. net/manage/github.php which takes care of this. We try to limit people with direct access to github repos as direct pushes there (or clicking the merge button) will break syncing with git.php.net (to be precise: a push on git.php.net does a force push to github, which might destroy history) Will, I made you collaborator on the repo, so you can respond to the ticket properly and close it or whatever. A bit later I'll turn issues of. Please be careful not to directly push to the repo. johannes