Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:104317
Return-Path: <bishop.bettini@gmail.com>
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 68335 invoked from network); 9 Feb 2019 08:04:25 -0000
Received: from unknown (HELO mail-ua1-f46.google.com) (209.85.222.46)
  by pb1.pair.com with SMTP; 9 Feb 2019 08:04:25 -0000
Received: by mail-ua1-f46.google.com with SMTP id n32so374676uae.7
        for <internals@lists.php.net>; Fri, 08 Feb 2019 20:46:28 -0800 (PST)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20161025;
        h=x-gm-message-state:mime-version:reply-to:from:date:message-id
         :subject:to;
        bh=upodbsN+kknhwwZEDCO5wNJFE0rmA1S978gtfQakCfY=;
        b=P4mQiYAbCXSTg+qb/4d4kHn6t5NaL9a/EacVSxCSazPbnnEop2iku+naeIQtvGU6bF
         1sy4hFk25IWhogU9eYkY5lQmezXu27z9ZXoX0YbDF7bM7dRn+YCL12hbhjbLIPnIRVQP
         5vj5xxB2yYBZs97mzLEXSogSYUoVm7fWyOf54G4LY3rTS+BLVJR0ghCO/GwKWfXamGQQ
         u2Qsmgh974FNlD6p8ffyFp03qTKiNFw34Z3A75HSUYI6EJXhHkuab8asCsopjdfAKEom
         vKAn9r+legI2ixlrh9B1kNkTT957J5QEFzaVNIw4QgOh8ZYmFNFDbJRvGCwo6ziKEG2j
         A6lA==
X-Gm-Message-State: AHQUAuaI/uH3slfklVuydUpkHYeR2brH+fmUu38OabnbIpYq2WmHOMyT
	ERCkY+l+7Ja/QQpHQSnpsLsea6awh4SunZzizb6SeJBh
X-Google-Smtp-Source: AHgI3IbG4S7cxz+9beaCMpTWTSyO5o9kj7EgrVPax9W/pkcxH0E9j/B9JTs60QSePCL68JcnZoRlBFWSKYUSbemaGWs=
X-Received: by 2002:a9f:2c87:: with SMTP id w7mr10163734uaj.116.1549687587704;
 Fri, 08 Feb 2019 20:46:27 -0800 (PST)
MIME-Version: 1.0
Reply-To: bishop@php.net
Date: Fri, 8 Feb 2019 23:46:02 -0500
Message-ID: <CAEYWF=7jDo3jE2+iJ60bN9Ogwb-jCneMKdmerr0_SYzzNKEmEg@mail.gmail.com>
To: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="0000000000002d949305816ec208"
Subject: What's up with github.com/php-src?
From: bishop@php.net (Bishop Bettini)

--0000000000002d949305816ec208
Content-Type: text/plain; charset="UTF-8"

Having mistakenly cloned php-src/php <https://github.com/php-src/php>
instead of php/php-src <https://github.com/php/php-src> (again), I figured
I'd ask -- is php-src used for anything?

The code seems to be quite old, and the content of php-src/php-src.github.io
<https://github.com/php-src/php-src.github.io> is a music video. Neither
seems productive to the PHP community.

Am I missing something?

--0000000000002d949305816ec208--