| commit | 3c26f0c88ff2b0477a0d28457cf15a65cb753171 | [log] [tgz] |
|---|---|---|
| author | Valentin David <valentin.david@codethink.co.uk> | Tue Feb 12 18:38:55 2019 +0100 |
| committer | Valentin David <valentin.david@codethink.co.uk> | Thu Jul 11 20:18:36 2019 +0200 |
| tree | d82fb3bdec12a2a00321010cd10dedd5bee054b7 | |
| parent | 24426ebe31fc2ad297b352a1d332c7cf158ef5c2 [diff] |
Deduplicate files in local cache with or without exec rights If we introduce an exact same object with execution rights as existing file without execution right, we should not expect that the files suddenly get execution rights. This breaks reproducibility and it is easy to encounter. For example install an empty file with execution rights. Or copy files from another artifact and `chmod +x` it.