Junio C Hamano <gitster@xxxxxxxxx> wrote: > 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. Gawk's regex has been fairly stable of late. But marking the revision from which you take the regex is a good idea in any case. With respect to bug fixes that may have happened downstream, please do let me know of any. But I do request it as a bug report to bug-gawk@xxxxxxx and not just a pull request with no commentary. Thanks, Arnold