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
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
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
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
On Mon, Aug 6, 2012 at 4:59 AM, KwangYul Seo sk...@company100.net 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.
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
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 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
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
On Wed, Apr 18, 2012 at 11:06 AM, Jarred Nicholls jar...@webkit.org wrote:
(from correct address)
On Wed, Apr 18, 2012 at 11:06 AM, Jarred Nicholls jar...@sencha.comwrote:
On Wed, Apr 18, 2012 at 11:02 AM, Simon Hausmann
simon.hausm...@nokia.com wrote:
On Wednesday, April 18, 2012
On Apr 24, 2012, at 9:07 AM, Adam Roben aro...@webkit.org wrote:
On Wed, Apr 18, 2012 at 11:06 AM, Jarred Nicholls jar...@webkit.org wrote:
(from correct address)
On Wed, Apr 18, 2012 at 11:06 AM, Jarred Nicholls jar...@sencha.com wrote:
On Wed, Apr 18, 2012 at 11:02 AM, Simon Hausmann
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
On Tue, Apr 24, 2012 at 9:49 AM, Tor Arne Vestbø
tor.arne.ves...@nokia.com 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,
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
On Tue, Apr 24, 2012 at 9:55 AM, Adam Roben aro...@webkit.org 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
On 24.04.12 16:04, ext Shezan Baig wrote:
On Tue, Apr 24, 2012 at 9:55 AM, Adam Robenaro...@webkit.org 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
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 a
On Tue, Apr 24, 2012 at 7:04 AM, Shezan Baig shezbaig...@gmail.com 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
On Tue, Apr 24, 2012 at 7:15 AM, Tor Arne Vestbø
tor.arne.ves...@nokia.comwrote:
On 24.04.12 16:04, ext Shezan Baig wrote:
On Tue, Apr 24, 2012 at 9:55 AM, Adam Robenaro...@webkit.org wrote:
In what situation does this cause issues?
Probably the biggest issue is for people who've been
On Wed, Apr 25, 2012 at 12:49 AM, Simon Hausmann
simon.hausm...@nokia.com 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.
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.
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
(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
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.org,
On Wed, Apr 18, 2012 at 11:02 AM, Simon Hausmann
simon.hausm...@nokia.comwrote:
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
(from correct address)
On Wed, Apr 18, 2012 at 11:06 AM, Jarred Nicholls jar...@sencha.com 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 Baig wrote:
Hi WebKit,
I've been using a fork of the
25 matches
Mail list logo
