Johannes Schindelin <Johannes.Schindelin@xxxxxx> writes: > - rather than scraping the files from the CGit website (which does not > guarantee that the first scraped file will be from the same revision as > the last scraped file), I would very strongly prefer the files to be > copied from a clone of gawk.git, and the gawk.git revision from which > they were copied should be recorded in git.git's commit adding them. Wow, I didn't even notice that was how the "original" came about. No question that we should be taking from a known-stable snapshot, not from a moving target.