[webkit-dev] Github vs. git.webkit.org

[Eric Seidel]

This has come up in the past.  I believe the current recommended path
is to use the github.com SHAs and just live in a github-only world.

https://lists.webkit.org/pipermail/webkit-dev/2012-March/020002.html
has some discussion.
https://trac.webkit.org/wiki/UsingGitHub

I am not aware of any plan to change the SHAs in the github mirror or
git.webkit.org (which is unfortunate, but the current reality).

-eric

On Sat, Nov 24, 2012 at 3:39 PM, Gergely Kis <gergely at homejinni.com> wrote:
> Hi,
>
> It looks like that the github mirror and git.webkit.org still has different
> SHA ids for commits. Is this final, or is the plan still to switch to the
> git.webkit.org SHA ids?
>
> For our MIPS staging repository we created a new mirror on github from
> git.webkit.org, and now we were asked by the github admins to reduce the
> repository to less than 1GB. I assume that if we would fork from the
> github.com/WebKit/webkit repository, then it would be fine with the github
> admins.
>
> However, if it is still the plan to switch to the git.webkit.org SHA ids in
> the github mirror as well, then we would like to avoid the extra work of
> rebasing our work to the github mirror commits, and then rebasing it back
> when the transition is made.
>
> We have to decide in the next couple days, because github will disable
> access to our repository again, so any status update on this transition plan
> would be helpful.
>
> Alternatively, if you have any experience with the github admins in how to
> ask for more space for webkit repositories, any advice would be very
> appreciated.
>
> Best Regards,
> Gergely Kis
>
> _______________________________________________
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
> http://lists.webkit.org/mailman/listinfo/webkit-dev
>