All-
Hi Bill; merry X-mas.
I've discovered that the source tarball contains a handful of extraneous files: a pair of droppings from patch as well as a pair of temporary files my text editor seems to have made (but which I can't find outside the archive). There's nothing of any note in the files, but I don't think they should be allowed to remain.
Does anyone have a preference for how I handle this? The "by the book" method would be for me to run make export again, with all that entails, but I could also be persuaded to just remove the files from the archive and re-upload it if that would be less work for others.
I believe that in this case just ungzipping the archive, and removing the extraneous blocks from the tar file would be acceptable.
Also, might it be a good idea to have the export process check for this sort of thing, or maybe operate from a fresh export of the repository? Not sure what the right approach would be... opinions are welcome.
The best approach is probably to add some more filtering to bin/export.pike.
Bill
/grubba