Merge branch 'simpler-git-clean' into 'master'

Do not spare downloaded packages from getting cleaned

See merge request !110

bob/devtools/build.py

@@ -491,13 +491,9 @@ def git_clean_build(runner, verbose):
     # glob wild card entries we'd like to keep
     exclude_from_cleanup = [
         "miniconda.sh",  # the installer, cached
-        "miniconda/pkgs/urls.txt",  # download index, cached
         "sphinx",  # build artifact -- documentation
     ]
 
-    # cache
-    exclude_from_cleanup += ["miniconda/pkgs/"]
-
     # artifacts
     exclude_from_cleanup += ["miniconda/conda-bld/"]
     exclude_from_cleanup += glob.glob("dist/*.zip")