On 11/30/12 23:59 , Hajime Morrita wrote:
It looks github supports mirroring by pulling a repo from official location.

Ah, didn't know they provided that service, nice. I'm a bit worried about the sync delay though, as you say.

Bill, what do you think about pushing the official SVN import to GitHub as well?

tor arne

So we might be able to rename the existing one and ask github to pull
our git.webkit.org <http://git.webkit.org> repository into
Apparently Apache takes that way: https://github.com/apache
The "mirroring" icon indicates kind of official-ness.

I don't know how long their mirroring delay is, though.

On Sat, Dec 1, 2012 at 12:07 AM, Tor Arne Vestbø
<tor.arne.ves...@digia.com <mailto:tor.arne.ves...@digia.com>> wrote:

    On 11/28/12 16:55 , Adam Barth wrote:

        My sense is that the WebKit community would prefer that the
        hashes in
        GitHub match the hashes in git.webkit.org
        <http://git.webkit.org> so that folks can more
        easily move branches between the two.  For my part, I've
        switched over
        to using GitHub exclusive of git.webkit.org
        <http://git.webkit.org>, so the the difference in
        hashes aren't an issue for me, but I can understand why they'd be
        problematic for other people.

    Yepp, agreed. Let's switch it over.

        After the force-push, would you still be able to push updates
        automatically?  If so, you can switch the hashes whenever is
        convenient for you.  (It might be nice to announce the date/time on
        this list so that folks aren't taken by surprise.)

    The mirror is also pushed to http://gitorious.org/webkit/__webkit
    <http://gitorious.org/webkit/webkit>, which I was planning to keep
    as is for now, so that would mean setting up an extra mirroring for
    the non-author-rewritten history :/ Also, the server I run this on
    has a somewhat uncertain future. With that in mind it's probably
    easier to just push directly from the same import that's pushed to
    git.webkit.org <http://git.webkit.org>, and make the GitHub mirror
    an official mirror?

    tor arne

    webkit-dev mailing list
    webkit-dev@lists.webkit.org <mailto:webkit-dev@lists.webkit.org>

webkit-dev mailing list

webkit-dev mailing list

Reply via email to