[webkit-dev] Github vs. git.webkit.org

Tor Arne Vestbø tor.arne.vestbo at digia.com
Tue Dec 4 04:43:43 PST 2012


On 11/30/12 23:59 , Hajime Morrita wrote:
> It looks github supports mirroring by pulling a repo from official location.
> http://stackoverflow.com/questions/11370239/creating-an-official-github-mirror

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
> github/WebKit/webkit.
> 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.vestbo at digia.com <mailto:tor.arne.vestbo at 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 at lists.webkit.org <mailto:webkit-dev at lists.webkit.org>
>     http://lists.webkit.org/__mailman/listinfo/webkit-dev
>     <http://lists.webkit.org/mailman/listinfo/webkit-dev>
>
>
>
>
> _______________________________________________
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
> http://lists.webkit.org/mailman/listinfo/webkit-dev
>



More information about the webkit-dev mailing list