diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-09-25 01:45:29 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-09-25 01:45:29 +0100 |
| commit | 29d26d1e5ea7b9ad291772313604ed42e9763810 (patch) | |
| tree | 8c7f46da02c45b2d9f63067451254c13c0374599 /.file-metadata | |
| parent | 67bc85c30ba1885ace3d0d282724adf227e7a5f3 (diff) | |
Won't copy previous distribution builds in new distribution
Until now, the pipeline was instructed to only ignore the current temporary
project distribution directory. So if there were directories from previous
builds, they were wrongly included in the current tarball.
With this commit, we don't just ignore the directory of the current
distribution, but generally, all directories starting with `paper-v*'.
Diffstat (limited to '.file-metadata')
| -rw-r--r-- | .file-metadata | bin | 6250 -> 6250 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/.file-metadata b/.file-metadata Binary files differindex e49f5cc..4a6fada 100644 --- a/.file-metadata +++ b/.file-metadata |