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

Jesus Sanchez-Palencia jesus.palencia at openbossa.org
Tue Dec 11 10:58:38 PST 2012


Hi,

2012/12/4 Tor Arne Vestbø <tor.arne.vestbo at digia.com>:
>
> Bill, what do you think about pushing the official SVN import to GitHub as
> well?
>
> tor arne

Any updates about this?

Cheers,
jesus


>
>>
>> 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
>>
>
> _______________________________________________
> 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