On Tue, Jun 25, 2013 at 12:45 AM, Christoph Rosse
wrote:
> On 25.06.2013 08:46, Christian Stoller wrote:
>>
>> Hi internals.
>>
>> What do you think about moving the PHP documentation to a Git repository,
>> mirrored on Github? Doing this would make it possible for everybody to
>> extend the docum
On Tue, Jun 25, 2013 at 1:05 PM, David Soria Parra wrote:
> On 2013-06-25, Ferenc Kovacs wrote:
> > there were some initial discussion and work done on moving the docs to
> git,
> > see
> > https://wiki.php.net/doc/git
> >
> http://git.php.net/?p=3Dweb/doc-editor.git;a=3Dshortlog;h=3Drefs/heads/
On 2013-06-25, Ferenc Kovacs wrote:
> there were some initial discussion and work done on moving the docs to git,
> see
> https://wiki.php.net/doc/git
> http://git.php.net/?p=3Dweb/doc-editor.git;a=3Dshortlog;h=3Drefs/heads/GIT_=
> READY
> http://marc.info/?l=3Dphpdoc&m=3D132321958514090&w=3D2
>
>
Hi,
Just my two cent.
The online editor is actually a greats tool to edit & commit some changes
into the documentation for *all* translations. Please, don't view only the
EN part of the documentation.
If we plan to move to GitHub, there were a lot of work to do into the
editor to continue to use i
> That aside: resources is also the issue with the online editor. We have
> too few people working on docs, so in the end it doesn't make much
> difference if they don't have time to review edit.php.net or github.
> (while reviewing on edit.php.net has the benefit that it can directly
> validate th
On 06/25/2013 11:10 AM, Johannes Schlüter wrote:
That aside: resources is also the issue with the online editor. We have
too few people working on docs, so in the end it doesn't make much
difference if they don't have time to review edit.php.net or github.
(while reviewing on edit.php.net has the
On Tue, Jun 25, 2013 at 5:10 AM, Johannes Schlüter
wrote:
> On Tue, 2013-06-25 at 08:46 +0200, Christian Stoller wrote:
> > Hi internals.
> >
> > What do you think about moving the PHP documentation to a Git
> > repository, mirrored on Github? Doing this would make it possible for
> > everybody to
On Tue, 2013-06-25 at 08:46 +0200, Christian Stoller wrote:
> Hi internals.
>
> What do you think about moving the PHP documentation to a Git
> repository, mirrored on Github? Doing this would make it possible for
> everybody to extend the documentation easily by creating pull
> requests.
Basical
On Tue, Jun 25, 2013 at 10:18 AM, Pierre Joye wrote:
> > On Tue, Jun 25, 2013 at 9:45 AM, Christoph Rosse
> wrote:
> >> On 25.06.2013 08:46, Christian Stoller wrote:
> >>>
> >>> Hi internals.
> >>>
> >>> What do you think about moving the PHP documentation to a Git
> repository,
> >>> mirrored on
and now with the right name...
On Tue, Jun 25, 2013 at 10:18 AM, Pierre Joye wrote:
> On Tue, Jun 25, 2013 at 9:45 AM, Christoph Rosse
> wrote:
>> On 25.06.2013 08:46, Christian Stoller wrote:
>>>
>>> Hi internals.
>>>
>>> What do you think about moving the PHP documentation to a Git repository
On Tue, Jun 25, 2013 at 9:45 AM, Christoph Rosse wrote:
> On 25.06.2013 08:46, Christian Stoller wrote:
>>
>> Hi internals.
>>
>> What do you think about moving the PHP documentation to a Git repository,
>> mirrored on Github? Doing this would make it possible for everybody to
>> extend the docume
On 25/06/13 07:46, Christian Stoller wrote:
What do you think about moving the PHP documentation to a Git repository,
mirrored on Github? Doing this would make it possible for everybody to extend
the documentation easily by creating pull requests.
Today one has to get an SVN account to edit th
On 25.06.2013 08:46, Christian Stoller wrote:
Hi internals.
What do you think about moving the PHP documentation to a Git repository,
mirrored on Github? Doing this would make it possible for everybody to extend
the documentation easily by creating pull requests.
Today one has to get an SVN a
13 matches
Mail list logo
