> Mirror itself does not make sense. Moving to GitHub entirely does .-)
Using MOE [1], it's easy enough to for us to point our pushes at any
repo, and it's just a script, so we can update it to push to
either/or/both when we push.
I mostly would like to know, in general, would it be a sufficient
benefit to justify the work to either mirror or migrate.
Nathan
[1]
https://code.google.com/p/make-open-easy/
> --
>
> ---
> You received this message because you are subscribed to the Google Groups
> "Closure Library Discuss" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to
closure-library-d...@googlegroups.com.
> For more options, visit
https://groups.google.com/d/optout.