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

[Adam Barth]

If you were using GitHub to contribute to WebKit previously, you might
want to delete your fork of https://github.com/WebKit/webkit and
re-fork https://github.com/WebKit/webkit.  It's also possible to push
a force update to your repository that re-writes the hashes, but I
found that re-forking was easier.

Adam


On Wed, Jan 16, 2013 at 4:55 AM, Jesus Sanchez-Palencia
<jesus at webkit.org> wrote:
> Hi,
>
> The mirror is finally ready again: https://github.com/WebKit/webkit
> It now follows the same hashes of git.webkit.org. People who have
> forked this repository on github before will now have to rebase their
> branches.
>
> I was hold back a bit because Github wasn't allowing me to push more
> than 2GB. I contacted them but before I could get answer I decide to
> 'split' the push. First I git reset --hard the repository back to a
> commit from 2008, pushed this, then reset --hard to 2009 and pushed
> this, and so on.
>
> In the middle of the process the folks from github increased our push
> limit to 20GB and David (barrbrain) was kind enough to push one last
> sync, getting us back to 2012. After that I kept the syncing manullay
> for a few hours but now the repository is being updated automatically
> every 5 minutes to stay in sync with git.webkit.org .
>
> I will now coordinate with William so we can get Apple pushing to the
> mirror at the same time they push to git.webkit.org .
>
> Thanks everyone that got involved for the help!
>
> Cheers,
> jesus
>
> 2013/1/14 Jesus Sanchez-Palencia <jesus at webkit.org>:
>> 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
> _______________________________________________
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
> http://lists.webkit.org/mailman/listinfo/webkit-dev