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

[Eric Seidel]

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
>