[prev in list] [next in list] [prev in thread] [next in thread]
List: webkit-dev
Subject: Re: [webkit-dev] Github vs. git.webkit.org
From: Hajime Morrita <morrita () chromium ! org>
Date: 2012-11-30 22:59:15
Message-ID: CALzNm5qtih_S7DbscYacrWprXErmU2aQc54W=ZVVFsgAjGKBsg () mail ! gmail ! com
[Download RAW message or body]
[Attachment #2 (multipart/alternative)]
It looks github supports mirroring by pulling a repo from official location=
.
http://stackoverflow.com/questions/11370239/creating-an-official-github-mir=
ror
So we might be able to rename the existing one and ask github to pull our
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=F8
<tor.arne.vestbo@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 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, 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 serv=
er
> 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, and make the GitHub mirror an official mirror?
>
> tor arne
>
> ______________________________**_________________
> webkit-dev mailing list
> webkit-dev@lists.webkit.org
> http://lists.webkit.org/**mailman/listinfo/webkit-dev<http://lists.webkit=
.org/mailman/listinfo/webkit-dev>
>
[Attachment #5 (text/html)]
<div style="font-family: arial, helvetica, sans-serif; font-size: 10pt"><div \
dir="ltr"><div style>It looks github supports mirroring by pulling a repo from \
official location.<br></div><a \
href="http://stackoverflow.com/questions/11370239/creating-an-official-github-mirror"> \
http://stackoverflow.com/questions/11370239/creating-an-official-github-mirror</a><br>
<div style><br></div><div>So we might be able to rename the existing one and ask \
github to pull our <a href="http://git.webkit.org">git.webkit.org</a> repository into \
github/WebKit/webkit.</div><div style>Apparently Apache takes that way: <a \
href="https://github.com/apache">https://github.com/apache</a></div> <div style>The \
"mirroring" icon indicates kind of official-ness.<br></div><div \
style><br></div><div style>I don't know how long their mirroring delay is, \
though.</div><div style><br></div></div><div class="gmail_extra"> <br><br><div \
class="gmail_quote">On Sat, Dec 1, 2012 at 12:07 AM, Tor Arne Vestbų <span \
dir="ltr"><<a href="mailto:tor.arne.vestbo@digia.com" \
target="_blank">tor.arne.vestbo@digia.com</a>></span> wrote:<br><blockquote \
class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc \
solid;padding-left:1ex"> <div class="im">On 11/28/12 16:55 , Adam Barth wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc \
solid;padding-left:1ex"> My sense is that the WebKit community would prefer that the \
hashes in<br> GitHub match the hashes in <a href="http://git.webkit.org" \
target="_blank">git.webkit.org</a> so that folks can more<br> easily move branches \
between the two. For my part, I've switched over<br> to using GitHub exclusive \
of <a href="http://git.webkit.org" target="_blank">git.webkit.org</a>, so the the \
difference in<br> hashes aren't an issue for me, but I can understand why \
they'd be<br> problematic for other people.<br>
</blockquote>
<br></div>
Yepp, agreed. Let's switch it over.<div class="im"><br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc \
solid;padding-left:1ex"> After the force-push, would you still be able to push \
updates<br> automatically? If so, you can switch the hashes whenever is<br>
convenient for you. (It might be nice to announce the date/time on<br>
this list so that folks aren't taken by surprise.)<br>
</blockquote>
<br></div>
The mirror is also pushed to <a href="http://gitorious.org/webkit/webkit" \
target="_blank">http://gitorious.org/webkit/<u></u>webkit</a>, 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 <a href="http://git.webkit.org" \
target="_blank">git.webkit.org</a>, and make the GitHub mirror an official \
mirror?<span class="HOEnZb"><font color="#888888"><br>
<br>
tor arne</font></span><div class="HOEnZb"><div class="h5"><br>
______________________________<u></u>_________________<br>
webkit-dev mailing list<br>
<a href="mailto:webkit-dev@lists.webkit.org" \
target="_blank">webkit-dev@lists.webkit.org</a><br> <a \
href="http://lists.webkit.org/mailman/listinfo/webkit-dev" \
target="_blank">http://lists.webkit.org/<u></u>mailman/listinfo/webkit-dev</a><br> \
</div></div></blockquote></div><br></div></div>
_______________________________________________
webkit-dev mailing list
webkit-dev@lists.webkit.org
http://lists.webkit.org/mailman/listinfo/webkit-dev
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic