Loading
Fix repository uploads with remove_repo_files_not_in_tar
This fixes erroneously deleting the just uploaded files, which otherwise
happens in
```
if full_name not in filenames_in_archive:
files_to_remove.append(full_name)
```