Hi, 2012/12/4 Tor Arne Vestbø <tor.arne.ves...@digia.com>: > > Bill, what do you think about pushing the official SVN import to GitHub as > well? > > tor arne
Any updates about this? Cheers, jesus > >> >> So we might be able to rename the existing one and ask github to pull >> our git.webkit.org <http://git.webkit.org> repository into >> >> github/WebKit/webkit. >> Apparently Apache takes that way: https://github.com/apache >> The "mirroring" icon indicates kind of official-ness. >> >> I don't know how long their mirroring delay is, though. >> >> >> >> On Sat, Dec 1, 2012 at 12:07 AM, Tor Arne Vestbø >> <tor.arne.ves...@digia.com <mailto:tor.arne.ves...@digia.com>> wrote: >> >> On 11/28/12 16:55 , Adam Barth wrote: >> >> My sense is that the WebKit community would prefer that the >> hashes in >> GitHub match the hashes in git.webkit.org >> <http://git.webkit.org> so that folks can more >> >> easily move branches between the two. For my part, I've >> switched over >> to using GitHub exclusive of git.webkit.org >> <http://git.webkit.org>, so the the difference in >> >> hashes aren't an issue for me, but I can understand why they'd be >> problematic for other people. >> >> >> Yepp, agreed. Let's switch it over. >> >> >> After the force-push, would you still be able to push updates >> automatically? If so, you can switch the hashes whenever is >> convenient for you. (It might be nice to announce the date/time >> on >> this list so that folks aren't taken by surprise.) >> >> >> The mirror is also pushed to http://gitorious.org/webkit/__webkit >> <http://gitorious.org/webkit/webkit>, which I was planning to keep >> >> as is for now, so that would mean setting up an extra mirroring for >> the non-author-rewritten history :/ Also, the server I run this on >> has a somewhat uncertain future. With that in mind it's probably >> easier to just push directly from the same import that's pushed to >> git.webkit.org <http://git.webkit.org>, and make the GitHub mirror >> >> an official mirror? >> >> tor arne >> >> _________________________________________________ >> webkit-dev mailing list >> webkit-dev@lists.webkit.org <mailto:webkit-dev@lists.webkit.org> >> http://lists.webkit.org/__mailman/listinfo/webkit-dev >> <http://lists.webkit.org/mailman/listinfo/webkit-dev> >> >> >> >> >> >> _______________________________________________ >> webkit-dev mailing list >> webkit-dev@lists.webkit.org >> http://lists.webkit.org/mailman/listinfo/webkit-dev >> > > _______________________________________________ > webkit-dev mailing list > webkit-dev@lists.webkit.org > http://lists.webkit.org/mailman/listinfo/webkit-dev _______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org http://lists.webkit.org/mailman/listinfo/webkit-dev
