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

Jesus Sanchez-Palencia jesus at webkit.org
Mon Jan 14 09:11:35 PST 2013


The github repository has stopped being updated and will remain like
that for the next hours until I have finished the new setup.

cheers,
jesus


2013/1/14 Jesus Sanchez-Palencia <jesus at webkit.org>:
> 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


More information about the webkit-dev mailing list