diff options
author | Klaus Aehlig <aehlig@google.com> | 2018-07-17 01:04:49 -0700 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-07-17 01:06:48 -0700 |
commit | e39991acbeb5c5cacbb61de004be77436be3664e (patch) | |
tree | dc9f374fd8c3f7ba574cf529bbeda58fe036c4a8 /tools/platforms | |
parent | d491bf10f42e213292382c98a1dc439537f00f43 (diff) |
git_repository: remove .git directory
While we do not expect any targets to actually depend on the
contents of the .git subdirectory of an external repository,
it is still a non-reproducible part of an external git repository,
blocking all attempts to demonstrate reproducibility of that
the given rule.
Change-Id: Id1e08013a8ca33d4b4c4b053b9423f75d771dfc1
PiperOrigin-RevId: 204872242
Diffstat (limited to 'tools/platforms')
0 files changed, 0 insertions, 0 deletions