repo 1.12.14
Merge "Ignore clone-depth attribute when fetching to a mirror"