4 ms·
And since git is distributed it can be hosted on both, and already is https://github.com/v8/v8-git-mirror https://github.com/v8/v8-git-mirror
by xxgreg 12y ago
And since git is distributed it can be hosted on both, and already is https://github.com/v8/v8-git-mirror https://github.com/v8/v8-git-mirror
- bbcbasic 12y agoWhat is the advantage of having a mirror? Aren't mirrors going to be slightly out of date (unless continually synchronised). And you wouldn't commit to the mirror, right?
- adrianm 12y agoI can't speak for everyone, but I appreciate the mirrors because I enjoy reading and searching through codebases on Github, so having the repository mirrored there is useful.
- akoeplinger 12y agoIf you look below the repository title on GitHub, it says "mirrored from..". This means GitHub handles the synchronization (they set this up on request for some projects). For me the advantage is being able to use GitHub's nice UI to browse the source code.
- xxgreg 12y agoGithub has some nice features that chromium.googlesource.com lacks, like being able to list all of the commits that have changed files in a specific sub directory. Synchronising a mirror automatically is pretty trivial so I imagine they're usually pretty up to date.
- mraleph 12y ago> Github has some nice features that chromium.googlesource.com lacks, like being able to list all of the commits that have changed files in a specific sub directory. fwiw you can do this on chromium.googlesource.com as well. look for link called `[path history]` when navigating the tree.
- xxgreg 12y agoThx ;)