diff options
| author |  Klaus Aehlig <aehlig@google.com> | 2018-02-13 02:42:25 -0800 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2018-02-13 02:44:33 -0800 |
| commit | 6496b1d1d25025f33406b1eaf9949cab126f08bd (patch) | |
| tree | 31b8db1a3a3b06fe132125ab15352f554d8b8478 /src/main/java/com/google/devtools/build/lib/exec | |
| parent | 3904ac33a983fd8faebba1b52bcac5a3ff942029 (diff) | |
new_git_repository: support date-based shallow clones
Add an optional 'shallow_since' parameter to new_git_repository to allow
more shallow clones. As opposed to a fixed depths, specifying a date does
not get outdated if the branch progresses further.
Also, use fully shallow clones if no commit is specified. A (floating)
branch or tag can always be cloned in a truly shallow fashion.
Improves on #4359.
Change-Id: I8459c8f55042c98da2e43f57b7960a291004d26b
PiperOrigin-RevId: 185504534
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/exec')
0 files changed, 0 insertions, 0 deletions