[webkit-dev] Changing Github repository to mirror git.webkit.org (was Github vs. git.webkit.org)

[Jesus Sanchez-Palencia]

Hi,

Just yet another quick heads-up:

> 2013/1/14 Jesus Sanchez-Palencia <jesus at webkit.org>:
>> We have decided that the best approach for this is to start a new
>> repository (webkit-mirror), delete the old one
>> (https://github.com/WebKit/webkit) and then rename the new repository.

I had to change my strategy here after talking to a few people on #github.
It seems that doing a "git push -f" to the current repository
(https://github.com/WebKit/webkit) will actually have less impact on
people branching/forking it on github. In other words, it should be
less painful to rebase your fork on github for the new hashes after
I'm done with the setup.

I will let you know when the switching is done.

Cheers,
jesus

>>
>> I will be doing the mirroring myself for while, until Apple can set
>> this up from the same machine that git pushes to git.webkit.org.
>>
>> People that are using the current github repository will probably have
>> to re-clone and rebase their branches.
>>
>> This won't affect git.webkit.org or any other official WebKit repository.
>>
>>
>> Cheers,
>> jesus
>>
>>
>>
>> 2012/12/11 Jesus Sanchez-Palencia <jesus.palencia at openbossa.org>:
>>> 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