commit | 3f304fe92bcb74ba15c8ebaf770b0b80757e4078 | [log] [tgz] |
---|---|---|
author | Robert Munteanu <rombert@apache.org> | Tue Aug 14 18:03:20 2018 +0200 |
committer | Robert Munteanu <rombert@apache.org> | Tue Aug 14 18:04:06 2018 +0200 |
tree | 82ebc0b68938a3a83347edf01b7b9a4ee567dc1e | |
parent | 7ea17a09e9fc1418d42b698178bca8d4399b2c9d [diff] |
check_staged_release: reject index.html.tmp For some time I noticed that wget places index.html.tmp files in the download directory. These are useless and show be rejected.