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

[Jesus Sanchez-Palencia]

Hi,

This email is a heads-up about the repository change we are starting
today in github.

In summary, now the github webkit repository will actually mirror
git.webkit.org and they will finally have the same git hashes. I won't
go into the benefits of this change since this has been widely
discussed in the past.

Since last week me, Tor Arne, William Siegrist, Adam Barth and Lucas
Forschler have been discussing the steps to move on with this and
since no one has raised any issues so far on previous discussions, I
will start this today.

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