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
On 11/30/12 23:59 , Hajime Morrita wrote:
It looks github supports mirroring by pulling a repo from official location.
http://stackoverflow.com/questions/11370239/creating-an-official-github-mirror
Ah, didn't know they provided that service, nice. I'm a bit worried
about the sync delay
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
It looks github supports mirroring by pulling a repo from official location.
http://stackoverflow.com/questions/11370239/creating-an-official-github-mirror
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
2012/11/28 Adam Barth aba...@webkit.org:
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
Hi,
Actually we already made the transition to the current github commit ids,
because github wanted to shut down our repository, if it is not a fork of
the semi-official webkit repository. Of course we will be able to
transition back to the git.webkit.org commit ids, when the transition was
made.
On 11/25/12 1:12 , Adam Barth wrote:
On Sat, Nov 24, 2012 at 1:53 PM, Gergely Kis gerg...@homejinni.com wrote:
Yes, I saw that thread, but I got confused by this other thread:
https://lists.webkit.org/pipermail/webkit-dev/2012-April/020339.html
Here most of the participants seemed to agree
On Wed, Nov 28, 2012 at 3:53 AM, Tor Arne Vestbø
tor.arne.ves...@digia.com wrote:
On 11/25/12 1:12 , Adam Barth wrote:
On Sat, Nov 24, 2012 at 1:53 PM, Gergely Kis gerg...@homejinni.com
wrote:
Yes, I saw that thread, but I got confused by this other thread:
This has come up in the past. I believe the current recommended path
is to use the github.com SHAs and just live in a github-only world.
https://lists.webkit.org/pipermail/webkit-dev/2012-March/020002.html
has some discussion.
https://trac.webkit.org/wiki/UsingGitHub
I am not aware of any plan
Yes, I remember that thread now, and you're correct:
https://lists.webkit.org/pipermail/webkit-dev/2012-April/020494.html
One answer is to take your mirror and make it the main mirror on
GitHub instead of Tor's.
On Sat, Nov 24, 2012 at 3:53 PM, Gergely Kis gerg...@homejinni.com wrote:
Hi,
On Sat, Nov 24, 2012 at 1:53 PM, Gergely Kis gerg...@homejinni.com wrote:
Yes, I saw that thread, but I got confused by this other thread:
https://lists.webkit.org/pipermail/webkit-dev/2012-April/020339.html
Here most of the participants seemed to agree that moving the 2 repositories
to use
11 matches
Mail list logo