[m-rev.] diff: fix a bug in tools/import_srcdist

[Peter Wang]

On Thu, 27 Jan 2022 01:33:08 +1100 Julien Fischer <jfischer at opturion.com> wrote:
> 
> Hi Peter,
> 
> On Thu, 27 Jan 2022, Peter Wang wrote:
> 
> > On Wed, 26 Jan 2022 23:52:09 +1100 Julien Fischer <jfischer at opturion.com> wrote:
> >>
> >> Fix a bug in tools/import_srcdist.
> >>
> >> tools/import_srcdist:
> >>      Add files with the -f (--force) option; otherwise files that
> >>      match patterns in .gitignore will be ignored.
> >>
> >
> > Ouch.
> 
> Indeed. I'm assuming git add changed its default behaviour at some point
> since up until around September 2020 things were fine.  Ideally, the
> script should also check that, say, compiler/mercury_compile.c has been
> imported into git.

I'll send a change for that later.

Note: the results from my previous email had a few false positives
because compiler/mercury_compile.c didn't exist in very old versions.

> 
> > I wrote a quick script to check which tags are affected.
> > The results are below. I still have most, maybe all,
> > of the "old" tarballs so I can re-import them.
> 
> I probably have some others.
> 
> > I also have a smattering of the newer tarballs that I downloaded.
> > Perhaps you have a more complete set somewhere?
> 
> I have some of them -- they're just rotd package, so having them
> all is not that important.

Right.

> 
> > Otherwise, we can just import what we have, and delete any broken
> > tags.
> 
> I assume you can modify the script you have below to delete the
> broken tags?

I've reimported 141 archives into my workspace.
Do you want me to force-push the fixed tags now?

That leaves the following 176 tags witih missing files.
Do you want me to delete those tags now?

Peter


rotd-2013-01-30 MISSING
rotd-2015-02-02 MISSING
rotd-2015-02-06 MISSING
rotd-2015-02-12 MISSING
rotd-2015-02-13 MISSING
rotd-2015-02-18 MISSING
rotd-2015-02-19 MISSING
rotd-2015-02-27 MISSING
rotd-2015-03-02 MISSING
rotd-2020-10-11 MISSING
rotd-2020-10-12 MISSING
rotd-2020-10-15 MISSING
rotd-2020-10-16 MISSING
rotd-2020-10-17 MISSING
rotd-2020-10-18 MISSING
rotd-2020-10-21 MISSING
rotd-2020-10-22 MISSING
rotd-2020-10-23 MISSING
rotd-2020-10-25 MISSING
rotd-2020-10-26 MISSING
rotd-2020-10-30 MISSING
rotd-2020-10-31 MISSING
rotd-2020-11-05 MISSING
rotd-2020-11-06 MISSING
rotd-2020-11-07 MISSING
rotd-2020-11-10 MISSING
rotd-2020-11-11 MISSING
rotd-2020-11-14 MISSING
rotd-2020-11-15 MISSING
rotd-2020-11-16 MISSING
rotd-2020-11-17 MISSING
rotd-2020-11-20 MISSING
rotd-2020-11-21 MISSING
rotd-2020-11-23 MISSING
rotd-2020-11-30 MISSING
rotd-2020-12-06 MISSING
rotd-2020-12-07 MISSING
rotd-2020-12-15 MISSING
rotd-2020-12-23 MISSING
rotd-2020-12-29 MISSING
rotd-2020-12-30 MISSING
rotd-2021-01-01 MISSING
rotd-2021-01-05 MISSING
rotd-2021-01-07 MISSING
rotd-2021-01-08 MISSING
rotd-2021-01-10 MISSING
rotd-2021-01-13 MISSING
rotd-2021-01-22 MISSING
rotd-2021-01-23 MISSING
rotd-2021-01-25 MISSING
rotd-2021-01-27 MISSING
rotd-2021-01-29 MISSING
rotd-2021-01-31 MISSING
rotd-2021-02-01 MISSING
rotd-2021-02-02 MISSING
rotd-2021-02-14 MISSING
rotd-2021-02-15 MISSING
rotd-2021-02-20 MISSING
rotd-2021-02-21 MISSING
rotd-2021-02-24 MISSING
rotd-2021-02-26 MISSING
rotd-2021-02-27 MISSING
rotd-2021-03-01 MISSING
rotd-2021-03-05 MISSING
rotd-2021-03-06 MISSING
rotd-2021-03-07 MISSING
rotd-2021-03-08 MISSING
rotd-2021-03-22 MISSING
rotd-2021-03-23 MISSING
rotd-2021-03-24 MISSING
rotd-2021-03-25 MISSING
rotd-2021-03-28 MISSING
rotd-2021-03-29 MISSING
rotd-2021-04-01 MISSING
rotd-2021-04-03 MISSING
rotd-2021-04-04 MISSING
rotd-2021-04-05 MISSING
rotd-2021-04-09 MISSING
rotd-2021-04-12 MISSING
rotd-2021-04-13 MISSING
rotd-2021-04-19 MISSING
rotd-2021-04-20 MISSING
rotd-2021-04-21 MISSING
rotd-2021-04-22 MISSING
rotd-2021-04-26 MISSING
rotd-2021-04-27 MISSING
rotd-2021-04-28 MISSING
rotd-2021-05-01 MISSING
rotd-2021-05-03 MISSING
rotd-2021-05-06 MISSING
rotd-2021-05-11 MISSING
rotd-2021-05-17 MISSING
rotd-2021-05-19 MISSING
rotd-2021-05-21 MISSING
rotd-2021-05-23 MISSING
rotd-2021-05-25 MISSING
rotd-2021-05-26 MISSING
rotd-2021-05-28 MISSING
rotd-2021-05-29 MISSING
rotd-2021-06-01 MISSING
rotd-2021-06-02 MISSING
rotd-2021-06-03 MISSING
rotd-2021-06-04 MISSING
rotd-2021-06-05 MISSING
rotd-2021-06-06 MISSING
rotd-2021-06-07 MISSING
rotd-2021-06-09 MISSING
rotd-2021-06-13 MISSING
rotd-2021-06-14 MISSING
rotd-2021-06-15 MISSING
rotd-2021-06-16 MISSING
rotd-2021-06-17 MISSING
rotd-2021-06-19 MISSING
rotd-2021-06-20 MISSING
rotd-2021-06-23 MISSING
rotd-2021-06-26 MISSING
rotd-2021-06-27 MISSING
rotd-2021-06-28 MISSING
rotd-2021-07-01 MISSING
rotd-2021-07-04 MISSING
rotd-2021-07-06 MISSING
rotd-2021-07-07 MISSING
rotd-2021-07-10 MISSING
rotd-2021-07-11 MISSING
rotd-2021-07-12 MISSING
rotd-2021-07-20 MISSING
rotd-2021-07-21 MISSING
rotd-2021-07-22 MISSING
rotd-2021-07-25 MISSING
rotd-2021-07-26 MISSING
rotd-2021-07-27 MISSING
rotd-2021-07-28 MISSING
rotd-2021-07-29 MISSING
rotd-2021-07-30 MISSING
rotd-2021-07-31 MISSING
rotd-2021-08-01 MISSING
rotd-2021-08-02 MISSING
rotd-2021-08-03 MISSING
rotd-2021-08-04 MISSING
rotd-2021-08-06 MISSING
rotd-2021-08-07 MISSING
rotd-2021-08-08 MISSING
rotd-2021-08-09 MISSING
rotd-2021-08-10 MISSING
rotd-2021-08-11 MISSING
rotd-2021-08-12 MISSING
rotd-2021-08-13 MISSING
rotd-2021-08-17 MISSING
rotd-2021-08-18 MISSING
rotd-2021-08-19 MISSING
rotd-2021-08-20 MISSING
rotd-2021-08-21 MISSING
rotd-2021-08-23 MISSING
rotd-2021-08-24 MISSING
rotd-2021-08-25 MISSING
rotd-2021-08-28 MISSING
rotd-2021-08-29 MISSING
rotd-2021-08-30 MISSING
rotd-2021-09-02 MISSING
rotd-2021-09-07 MISSING
rotd-2021-09-08 MISSING
rotd-2021-09-11 MISSING
rotd-2021-09-13 MISSING
rotd-2021-09-17 MISSING
rotd-2021-09-25 MISSING
rotd-2021-09-28 MISSING
rotd-2021-09-29 MISSING
rotd-2021-09-30 MISSING
rotd-2021-10-01 MISSING
rotd-2021-10-02 MISSING
rotd-2021-10-03 MISSING
rotd-2021-10-11 MISSING
rotd-2021-10-12 MISSING
rotd-2021-10-15 MISSING
rotd-2021-10-30 MISSING
rotd-2021-10-31 MISSING