Can we remove https://chromium.googlesource.com/external/llvm.org/* |
|||||
Issue descriptionWe used to use these mirrors on the wasm waterfall but recenetly switched to https://llvm.googlesource.com/. To avoid confusions can we remove these redundant mirrors? We cam probably also remove external/github.com/llvm-mirror/*. There could be other users that I'm not aware of but they can/should probably switch to https://llvm.googlesource.com/ too
,
Apr 25 2017
The bug linked in that CL provides some more detail: https://bugs.chromium.org/p/chromium/issues/detail?id=689241
,
Oct 19
,
Dec 1
,
Dec 19
Do we still want to do this?
,
Dec 21
I don't feel strongly about it, but it is a little confusing that we mirror llvm in three different places. Happy for this to be closed if you don't think its worth fixing.
,
Dec 26
sbc@ gsubtreed mirror was added for https://crbug.com/689241 , but why that bug was created isn't clear. In general, for git admin it's trivial to remove a git repo. However, all the old pins in DEPS and elsewhere which reference this repo will be broken. A typical compromise is the following: 1. Stop mirroring into this specific git repo. 2. don't delete mirroring, don't delete any commits, but create a new commit which: * deletes all files from the repo. * add readme where the new mirror is. 3. Make this git repo read only. This way old references will still work, but looking at repo directly will show README pointing to the other preferred mirror instead instead. Let me know what you want (or not want to do). Note that it's not git admins job to clean up all references in say chromium/src repo to llvm repos you want deleted.
,
Jan 15
|
|||||
►
Sign in to add a comment |
|||||
Comment 1 by sbc@chromium.org
, Apr 25 2017