Not at first, but at the moment, yes, it is intentional. We are working on
migrating WebKit to a more permanent and complete Git repository, which
involves editing history. Because of this, we didn’t want to further the
confusion we already have with two different sets of git hashes. The new
re
On Thu, Nov 26, 2020 at 11:33 PM Adrien Destugues via webkit-dev <
webkit-dev@lists.webkit.org> wrote:
>
> I noticed that the github mirror at https://github.com/webkit/webkit is
> not getting
> the latest commits from WebKit (it is now about a month behind). Is that
> intentional?
>
We're active
Hi,
I noticed that the github mirror at https://github.com/webkit/webkit is not
getting
the latest commits from WebKit (it is now about a month behind). Is that
intentional?
Thanks,
--
Adrien / PulkoMandy
___
webkit-dev mailing list
webkit-dev@lists
On Mon, Aug 6, 2012 at 4:59 AM, KwangYul Seo wrote:
> What's the current status? Do they still have different hashes?
Yes.
> I am trying to push a few commits to my GitHub WebKit repo from my repo
> cloned from git.webkit.org. It seems I am pushing the entire repo :(
Correct. That's not going
Hi, Adam.
What's the current status? Do they still have different hashes?
I am trying to push a few commits to my GitHub WebKit repo from my repo
cloned from git.webkit.org. It seems I am pushing the entire repo :(
Regards,
Kwang Yul Seo
On Mon, Apr 30, 2012 at 2:48 AM, Adam Barth wrote:
> T
Tor,
I think we should retire the author rewriting script on GitHub.
Jame's is right that there's a lot of value in having git.webkit.org
and GitHub using the same hashes. For example, both Eric and Gavin
requested that when they started using GitHub.
We would have some trouble adopting the aut
On Wed, Apr 25, 2012 at 12:49 AM, Simon Hausmann
wrote:
> On Tuesday, April 24, 2012 03:59:47 PM Tor Arne Vestbø wrote:
>> On 24.04.12 15:55, ext Adam Roben wrote:
>> > Probably the biggest issue is for people who've been using
>> > git.webkit.org and now want to try out GitHub. Since the commits
On Tue, Apr 24, 2012 at 7:15 AM, Tor Arne Vestbø
wrote:
> On 24.04.12 16:04, ext Shezan Baig wrote:
>
>> On Tue, Apr 24, 2012 at 9:55 AM, Adam Roben wrote:
>>
>>> In what situation does this cause issues?
>>>
>>> Probably the biggest issue is for people who've been using
>>> git.webkit.org a
On Tue, Apr 24, 2012 at 7:04 AM, Shezan Baig wrote:
>> Probably the biggest issue is for people who've been using
>> git.webkit.org and now want to try out GitHub. Since the commits are
>> distinct between the two repositories, they have to do a full clone to
>> make the switch.
>
> In theory thou
On Tuesday, April 24, 2012 03:59:47 PM Tor Arne Vestbø wrote:
> On 24.04.12 15:55, ext Adam Roben wrote:
> > Probably the biggest issue is for people who've been using
> > git.webkit.org and now want to try out GitHub. Since the commits are
> > distinct between the two repositories, they have to do
On 24.04.12 16:04, ext Shezan Baig wrote:
On Tue, Apr 24, 2012 at 9:55 AM, Adam Roben wrote:
In what situation does this cause issues?
Probably the biggest issue is for people who've been using
git.webkit.org and now want to try out GitHub. Since the commits are
distinct between the two repos
On Tue, Apr 24, 2012 at 9:55 AM, Adam Roben wrote:
>> In what situation does this cause issues?
>
> Probably the biggest issue is for people who've been using
> git.webkit.org and now want to try out GitHub. Since the commits are
> distinct between the two repositories, they have to do a full clon
On 24.04.12 15:55, ext Adam Roben wrote:
Probably the biggest issue is for people who've been using
git.webkit.org and now want to try out GitHub. Since the commits are
distinct between the two repositories, they have to do a full clone to
make the switch.
Any idea why git is not smarter when p
On Tue, Apr 24, 2012 at 9:49 AM, Tor Arne Vestbø
wrote:
> On 18.04.12 17:02, Simon Hausmann wrote:
>>
>> On Wednesday, April 18, 2012 06:53:46 AM ext Shezan Baig wrote:
>>>
>>> Hi WebKit,
>>>
>>> I've been using a fork of the following repo:
>>> https://github.com/WebKit/webkit
>>>
>>> However, ye
On 18.04.12 17:02, Simon Hausmann wrote:
On Wednesday, April 18, 2012 06:53:46 AM ext Shezan Baig wrote:
Hi WebKit,
I've been using a fork of the following repo:
https://github.com/WebKit/webkit
However, yesterday there was discussion on #webkit that the SHA-1 checksums
on this repo are differ
On Apr 24, 2012, at 9:07 AM, Adam Roben wrote:
> On Wed, Apr 18, 2012 at 11:06 AM, Jarred Nicholls wrote:
> (from correct address)
>
> On Wed, Apr 18, 2012 at 11:06 AM, Jarred Nicholls wrote:
> On Wed, Apr 18, 2012 at 11:02 AM, Simon Hausmann
> wrote:
> On Wednesday, April 18, 2012 06:53:46
On Wed, Apr 18, 2012 at 11:06 AM, Jarred Nicholls wrote:
> (from correct address)
>
> On Wed, Apr 18, 2012 at 11:06 AM, Jarred Nicholls wrote:
>
>> On Wed, Apr 18, 2012 at 11:02 AM, Simon Hausmann <
>> simon.hausm...@nokia.com> wrote:
>>
>>> On Wednesday, April 18, 2012 06:53:46 AM ext Shezan Bai
Well that turned out ugly. Let's try again:
$ diff -u <(GIT_DIR=WebKit/.git git cat-file -p
df242ce698c19b591e975d88c29f7411b2f2963d) <(GIT_DIR=GitHubWebKit/.git git
cat-file -p 93f4255f7cb09996f0a9a354754c7902da87d1a3)
--- /dev/fd/63 2012-04-24 09:01:56.0 -0400
+++ /dev/fd/62 2012-04-24 0
On Wed, Apr 18, 2012 at 11:02 AM, Simon Hausmann
wrote:
> On Wednesday, April 18, 2012 06:53:46 AM ext Shezan Baig wrote:
>> Hi WebKit,
>>
>> I've been using a fork of the following repo:
>> https://github.com/WebKit/webkit
>>
>> However, yesterday there was discussion on #webkit that the SHA-1 ch
(from correct address)
On Wed, Apr 18, 2012 at 11:06 AM, Jarred Nicholls wrote:
> On Wed, Apr 18, 2012 at 11:02 AM, Simon Hausmann > wrote:
>
>> On Wednesday, April 18, 2012 06:53:46 AM ext Shezan Baig wrote:
>> > Hi WebKit,
>> >
>> > I've been using a fork of the following repo:
>> > https://g
On Wed, Apr 18, 2012 at 11:02 AM, Simon Hausmann
wrote:
>
> I believe the reason for them being different is because in the github
> repo the
> commit author fields are resolved.
>
>
That would certainly explain it :) I don't have a git.webkit.org checkout,
so I couldn't tell
___
On Wednesday, April 18, 2012 06:53:46 AM ext Shezan Baig wrote:
> Hi WebKit,
>
> I've been using a fork of the following repo:
> https://github.com/WebKit/webkit
>
> However, yesterday there was discussion on #webkit that the SHA-1 checksums
> on this repo are different from repo at git.webkit.or
(resending to all)
Yes, I think it would be better to mirror git.webkit.org to github instead
of mirroring from svn to github.
In theory, it really shouldn't make a difference though, so i'm actually
surprised that the sha1 are out of sync.
But mirroring from git.webkit.org will guarantee they are
Wouldn't we need to continually mirror git.webkit.org to github as well? I
presume github is mirroring directly from svn right now. I'd think the
out-of-sync issue would simply occur again unless we started to mirror git.
webkit.org to github instead of svn to github.
I don't know what all Git t
Hi WebKit,
I've been using a fork of the following repo:
https://github.com/WebKit/webkit
However, yesterday there was discussion on #webkit that the SHA-1 checksums
on this repo are different from repo at git.webkit.org, which means folks
working on both need to have both versions checked out.
25 matches
Mail list logo
