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

[Pablo Flouret]

Maybe "git rebase --onto" would help, if only a bit?

http://git-scm.com/book/en/Git-Branching-Rebasing#More-Interesting-Rebases

/pf

On Thu, 17 Jan 2013 13:13:44 -0800, Eric Seidel <eseidel at google.com> wrote:

> Yes, but I'm more interested in rebasing my existing github branches.
> :)  But you're right, I could probably run
> Tools/Scripts/sync-master-with-upstream from my existing
> git.webkit.org checkout and not have to download anything.
>
> I'd still have a bunch of github branches which I can't easily rebase
> on top of that, but that's a start.
>
> On Thu, Jan 17, 2013 at 4:00 AM, Dominik Röttsches
> <dominik.rottsches at intel.com> wrote:
>> On 01/16/2013 10:07 PM, Eric Seidel wrote:
>>
>> Do we know if there is a way to re-write our existing forks w/o
>> pulling the whole repo down, just to push it back up again?
>>
>>
>> If you make the new github mirror fork a remote for your existing
>> git.webkit.org clone and push from there you would only need to push a  
>> small
>> amount - at least that's how it worked for me.
>>
>> Dominik
>>
>> _______________________________________________
>> 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


-- 
pablo flouret
motorola | webkit / browser team