FAQ
Hi Internals,

we are a few weeks into the git migration, so I want to give you a short
status update.

- web/ is completly migrated. all php websites are updating from
the git repositories now. Checkout http://git.php.net/

- We support SSH keys now. Go to http://master.php.net/manage/users.php
and add your ssh key. The pull and push URL is git@git.php.net:<repo>

- We mirror to github. See http://github.com/php

- Please test a lot and play around with the playground repository on
http://git.php.net

- We are working on minor changes to the karma script, etc. There are a
few known bugs. Go ahead and test extensviley, so we get everything
sorted before we move the main source repository.

- There is an ongoing discussion about the format of the commit messages.
At the moment we send out one mail with all changests that are pushed.
Advantage: You see who pushed what chain of changests in on mail
Disadvantage: You cannot filter mails based on the subject (e.g. ext/date)

We can go ahead and send out mails for every commit only.
We can go ahead and send out mails for both pushes and for every comit on it's
own.
...more options. Please discuss how you want it.

NOTE: there is also always an RSS feed for updates to a specific directory available
on http://git.php.net

- There is a GIT faq: http://wiki.php.net/vcs/gitfaq

- Questions?

David

Search Discussions

  • Sascha Schumann at Jan 26, 2012 at 8:43 am
    Hi David,

    great work!

    Cheers
    Sascha
    On Wed, 25 Jan 2012, David Soria Parra wrote:

    Hi Internals,

    we are a few weeks into the git migration, so I want to give you a short
    status update.

    - web/ is completly migrated. all php websites are updating from
    the git repositories now. Checkout http://git.php.net/

    - We support SSH keys now. Go to http://master.php.net/manage/users.php
    and add your ssh key. The pull and push URL is git@git.php.net:<repo>

    - We mirror to github. See http://github.com/php

    - Please test a lot and play around with the playground repository on
    http://git.php.net

    - We are working on minor changes to the karma script, etc. There are a
    few known bugs. Go ahead and test extensviley, so we get everything
    sorted before we move the main source repository.

    - There is an ongoing discussion about the format of the commit messages.
    At the moment we send out one mail with all changests that are pushed.
    Advantage: You see who pushed what chain of changests in on mail
    Disadvantage: You cannot filter mails based on the subject (e.g. ext/date)

    We can go ahead and send out mails for every commit only.
    We can go ahead and send out mails for both pushes and for every comit on it's
    own.
    ...more options. Please discuss how you want it.

    NOTE: there is also always an RSS feed for updates to a specific directory available
    on http://git.php.net

    - There is a GIT faq: http://wiki.php.net/vcs/gitfaq

    - Questions?

    David


    --
    PHP Internals - PHP Runtime Development Mailing List
    To unsubscribe, visit: http://www.php.net/unsub.php
  • Paul Dragoonis at Jan 26, 2012 at 1:07 pm
    Hi David,

    Thanks for the great push on the DVCS push to git. I believe I speak for
    many people when I say your hard work is really appreciated.

    Look forward to testing out the git installation.

    - Paul.
    On Wed, Jan 25, 2012 at 11:36 PM, David Soria Parra wrote:

    Hi Internals,

    we are a few weeks into the git migration, so I want to give you a short
    status update.

    - web/ is completly migrated. all php websites are updating from
    the git repositories now. Checkout http://git.php.net/

    - We support SSH keys now. Go to http://master.php.net/manage/users.php
    and add your ssh key. The pull and push URL is git@git.php.net:<repo>

    - We mirror to github. See http://github.com/php

    - Please test a lot and play around with the playground repository on
    http://git.php.net

    - We are working on minor changes to the karma script, etc. There are a
    few known bugs. Go ahead and test extensviley, so we get everything
    sorted before we move the main source repository.

    - There is an ongoing discussion about the format of the commit messages.
    At the moment we send out one mail with all changests that are pushed.
    Advantage: You see who pushed what chain of changests in on mail
    Disadvantage: You cannot filter mails based on the subject (e.g.
    ext/date)

    We can go ahead and send out mails for every commit only.
    We can go ahead and send out mails for both pushes and for every comit
    on it's
    own.
    ...more options. Please discuss how you want it.

    NOTE: there is also always an RSS feed for updates to a specific
    directory available
    on http://git.php.net

    - There is a GIT faq: http://wiki.php.net/vcs/gitfaq

    - Questions?

    David


    --
    PHP Internals - PHP Runtime Development Mailing List
    To unsubscribe, visit: http://www.php.net/unsub.php
  • Alexey Shein at Jan 26, 2012 at 1:26 pm
    +1, Thanks David!

    2012/1/26 Paul Dragoonis <dragoonis@gmail.com>:
    Hi David,

    Thanks for the great push on the DVCS push to git. I believe I speak for
    many people when I say your hard work is really appreciated.

    Look forward to testing out the git installation.

    - Paul.
    On Wed, Jan 25, 2012 at 11:36 PM, David Soria Parra wrote:

    Hi Internals,

    we are a few weeks into the git migration, so I want to give you a short
    status update.

    - web/ is completly migrated. all php websites are updating from
    the git repositories now. Checkout http://git.php.net/

    - We support SSH keys now. Go to http://master.php.net/manage/users.php
    and add your ssh key. The pull and push URL is git@git.php.net:<repo>

    - We mirror to github. See http://github.com/php

    - Please test a lot and play around with the playground repository on
    http://git.php.net

    - We are working on minor changes to the karma script, etc. There are a
    few known bugs. Go ahead and test extensviley, so we get everything
    sorted before we move the main source repository.

    - There is an ongoing discussion about the format of the commit messages.
    At the moment we send out one mail with all changests that are pushed.
    Advantage: You see who pushed what chain of changests in on mail
    Disadvantage: You cannot filter mails based on the subject (e.g.
    ext/date)

    We can go ahead and send out mails for every commit only.
    We can go ahead and send out mails for both pushes and for every comit
    on it's
    own.
    ...more options. Please discuss how you want it.

    NOTE: there is also always an RSS feed for updates to a specific
    directory available
    on http://git.php.net

    - There is a GIT faq: http://wiki.php.net/vcs/gitfaq

    - Questions?

    David


    --
    PHP Internals - PHP Runtime Development Mailing List
    To unsubscribe, visit: http://www.php.net/unsub.php


    --
    Regards,
    Shein Alexey
  • Klaus Silveira at Jan 26, 2012 at 2:50 pm
    Hey David,

    I just wanted to thank you for the huge amount of work you have been
    dedicating towards the PHP community. Amazing! :D

Related Discussions

Discussion Navigation
viewthread | post
Discussion Overview
groupphp-internals @
categoriesphp
postedJan 25, '12 at 11:36p
activeJan 26, '12 at 2:50p
posts5
users5
websitephp.net

People

Translate

site design / logo © 2022 Grokbase