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

[Dominik Röttsches]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-dev/attachments/20130117/ddf861e7/attachment.html>