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

Peter Wang novalazy at gmail.com
Thu Jan 27 01:04:45 AEDT 2022


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.

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 also have a smattering of the newer tarballs that I downloaded.
Perhaps you have a more complete set somewhere? Otherwise,
we can just import what we have, and delete any broken tags.

Peter


10.04.2 MISSING
11.07-beta-2011-07-20-unstable MISSING
11.07-beta-2011-11-14-unstable MISSING
11.07-beta-2011-12-16-unstable MISSING
11.07.1 MISSING
11.07.2 MISSING
11.07.2-beta-2012-06-26-unstable MISSING
13.05 MISSING
13.05.1 MISSING
13.05.2 MISSING
13.05.2-beta-2013-06-24 MISSING
13.05.2-beta-2013-10-31 MISSING
14.01 MISSING
14.01-beta-2014-01-02 MISSING
14.01.1 MISSING
14.01.1-beta-2014-05-06 MISSING
14.01.1-beta-2014-05-28 MISSING
14.01.2-beta-2015-02-18 MISSING
20.01 OK
20.01-beta-2020-01-10 OK
20.01-beta-2020-01-11 OK
20.01-beta-2020-01-12 OK
20.01-beta-2020-01-13 OK
20.01-beta-2020-01-14 OK
20.01-beta-2020-01-17 OK
20.01-beta-2020-01-18 OK
20.01-beta-2020-01-20 OK
20.01-beta-2020-01-21 OK
20.01-beta-2020-01-22 OK
20.01-beta-2020-01-24 OK
20.01.1 OK
20.01.1-beta-2020-02-09 OK
20.01.1-beta-2020-02-11 OK
20.01.1-beta-2020-02-29 OK
20.01.2 OK
20.01.2-beta-2020-04-20 OK
20.01.2-beta-2020-05-01 OK
20.06 OK
20.06-beta-2020-06-02 OK
20.06-beta-2020-06-08 OK
20.06-beta-2020-06-16 OK
20.06-beta-2020-06-24 OK
20.06.1 OK
20.06.1-beta-2020-10-04 OK
20.06.1-beta-2020-10-15 OK
22.01-beta-2022-01-24 MISSING
22.01-beta-2022-01-25 MISSING
rotd-2007-04-03-unstable MISSING
rotd-2007-06-30-unstable MISSING
rotd-2007-07-12-unstable MISSING
rotd-2007-08-01-unstable MISSING
rotd-2007-08-16-unstable MISSING
rotd-2007-09-21-unstable MISSING
rotd-2007-12-21-unstable MISSING
rotd-2008-08-03-unstable MISSING
rotd-2009-06-06-unstable MISSING
rotd-2009-09-15-unstable MISSING
rotd-2009-09-19-unstable MISSING
rotd-2009-10-23-unstable MISSING
rotd-2009-11-10-unstable MISSING
rotd-2009-12-12-unstable MISSING
rotd-2010-01-31-unstable MISSING
rotd-2010-03-01-unstable MISSING
rotd-2010-06-17-unstable MISSING
rotd-2011-03-13-unstable MISSING
rotd-2011-05-29-unstable MISSING
rotd-2011-07-01-unstable MISSING
rotd-2011-07-19-unstable MISSING
rotd-2011-07-23-unstable MISSING
rotd-2011-07-31-unstable MISSING
rotd-2011-08-03-unstable MISSING
rotd-2011-08-13-unstable MISSING
rotd-2011-08-17-unstable MISSING
rotd-2011-08-19-unstable MISSING
rotd-2011-08-21-unstable MISSING
rotd-2011-08-23-unstable MISSING
rotd-2011-09-03-unstable MISSING
rotd-2011-09-09-unstable MISSING
rotd-2011-09-19-unstable MISSING
rotd-2011-09-23-unstable MISSING
rotd-2011-09-27-unstable MISSING
rotd-2011-10-23-unstable MISSING
rotd-2011-12-05-unstable MISSING
rotd-2012-02-09-unstable MISSING
rotd-2012-03-21-unstable MISSING
rotd-2012-06-11-unstable MISSING
rotd-2012-07-13-unstable MISSING
rotd-2012-08-08-unstable MISSING
rotd-2013-01-22 MISSING
rotd-2013-01-30 MISSING
rotd-2013-02-19 MISSING
rotd-2013-03-18 MISSING
rotd-2013-03-21 MISSING
rotd-2013-03-26 MISSING
rotd-2013-10-01 MISSING
rotd-2014-09-01 MISSING
rotd-2014-09-30 MISSING
rotd-2014-10-24 MISSING
rotd-2014-11-20 MISSING
rotd-2014-12-08 MISSING
rotd-2014-12-12 MISSING
rotd-2014-12-18 MISSING
rotd-2015-01-05 MISSING
rotd-2015-01-28 MISSING
rotd-2015-02-02 MISSING
rotd-2015-02-04 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-20 MISSING
rotd-2015-02-27 MISSING
rotd-2015-03-02 MISSING
rotd-2015-03-10 MISSING
rotd-2015-03-16 MISSING
rotd-2015-03-24 MISSING
rotd-2015-06-22 MISSING
rotd-2015-07-01 MISSING
rotd-2015-07-28 MISSING
rotd-2015-08-03 MISSING
rotd-2015-08-10 MISSING
rotd-2015-08-13 MISSING
rotd-2015-08-25 MISSING
rotd-2015-09-01 MISSING
rotd-2015-09-15 MISSING
rotd-2015-09-18 MISSING
rotd-2015-09-28 MISSING
rotd-2015-10-06 MISSING
rotd-2015-10-27 MISSING
rotd-2015-11-09 MISSING
rotd-2015-11-30 MISSING
rotd-2015-12-17 MISSING
rotd-2016-01-15 MISSING
rotd-2016-02-08 MISSING
rotd-2016-02-18 MISSING
rotd-2016-02-19 MISSING
rotd-2016-02-26 MISSING
rotd-2016-03-21 MISSING
rotd-2016-05-06 MISSING
rotd-2016-05-13 MISSING
rotd-2016-06-09 MISSING
rotd-2016-06-30 MISSING
rotd-2016-09-27 MISSING
rotd-2016-10-04 MISSING
rotd-2016-10-07 MISSING
rotd-2016-10-14 MISSING
rotd-2016-10-19 MISSING
rotd-2016-10-30 MISSING
rotd-2017-01-16 MISSING
rotd-2017-01-21 MISSING
rotd-2017-02-22 MISSING
rotd-2017-04-20 OK
[... snipped 546 OK tags ...]
rotd-2020-10-10 OK
rotd-2020-10-11 MISSING
rotd-2020-10-12 MISSING
rotd-2020-10-13 MISSING
rotd-2020-10-14 MISSING
rotd-2020-10-15 MISSING
rotd-2020-10-16 MISSING
rotd-2020-10-17 MISSING
rotd-2020-10-18 MISSING
rotd-2020-10-19 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-27 MISSING
rotd-2020-10-29 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-14 MISSING
rotd-2021-01-22 MISSING
rotd-2021-01-23 MISSING
rotd-2021-01-24 MISSING
rotd-2021-01-25 MISSING
rotd-2021-01-26 MISSING
rotd-2021-01-27 MISSING
rotd-2021-01-29 MISSING
rotd-2021-01-30 MISSING
rotd-2021-01-31 MISSING
rotd-2021-02-01 MISSING
rotd-2021-02-02 MISSING
rotd-2021-02-06 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-25 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-15 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-14 MISSING
rotd-2021-04-15 MISSING
rotd-2021-04-19 MISSING
rotd-2021-04-20 MISSING
rotd-2021-04-21 MISSING
rotd-2021-04-22 MISSING
rotd-2021-04-24 MISSING
rotd-2021-04-26 MISSING
rotd-2021-04-27 MISSING
rotd-2021-04-28 MISSING
rotd-2021-04-29 MISSING
rotd-2021-05-01 MISSING
rotd-2021-05-03 MISSING
rotd-2021-05-04 MISSING
rotd-2021-05-05 MISSING
rotd-2021-05-06 MISSING
rotd-2021-05-07 MISSING
rotd-2021-05-11 MISSING
rotd-2021-05-16 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-05-30 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-06-30 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-19 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-14 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-13 MISSING
rotd-2021-10-15 MISSING
rotd-2021-10-17 MISSING
rotd-2021-10-21 MISSING
rotd-2021-10-27 MISSING
rotd-2021-10-28 MISSING
rotd-2021-10-30 MISSING
rotd-2021-10-31 MISSING
rotd-2021-11-02 MISSING
rotd-2021-11-04 MISSING
rotd-2021-11-10 MISSING
rotd-2021-11-13 MISSING
rotd-2021-11-14 MISSING
rotd-2021-11-19 MISSING
rotd-2021-11-21 MISSING
rotd-2021-11-27 MISSING
rotd-2021-11-30 MISSING
rotd-2021-12-01 MISSING
rotd-2021-12-02 MISSING
rotd-2021-12-06 MISSING
rotd-2021-12-07 MISSING
rotd-2021-12-16 MISSING
rotd-2021-12-17 MISSING
rotd-2021-12-18 MISSING
rotd-2021-12-19 MISSING
rotd-2021-12-21 MISSING
rotd-2021-12-23 MISSING
rotd-2021-12-25 MISSING
rotd-2021-12-26 MISSING
rotd-2021-12-27 MISSING
rotd-2021-12-31 MISSING
rotd-2022-01-01 MISSING
rotd-2022-01-02 MISSING
rotd-2022-01-03 MISSING
rotd-2022-01-04 MISSING
rotd-2022-01-05 MISSING
rotd-2022-01-07 MISSING
rotd-2022-01-08 MISSING
rotd-2022-01-09 MISSING
rotd-2022-01-10 MISSING
rotd-2022-01-13 MISSING
rotd-2022-01-14 MISSING
rotd-2022-01-15 MISSING
rotd-2022-01-16 MISSING
rotd-2022-01-17 MISSING
rotd-2022-01-19 MISSING
rotd-2022-01-20 MISSING
rotd-2022-01-21 MISSING
rotd-2022-01-22 MISSING
rotd-2022-01-23 MISSING
rotd-2022-01-24 MISSING
rotd-2022-01-25 MISSING
rotd-2022-01-26 OK
-------------- next part --------------
#!/bin/sh
set -eu
git tag -l | while read -r tag
do
    if git ls-tree "$tag" --name-only -- compiler/mercury_compile.c | grep -q .
    then
        echo "$tag OK"
    else
        echo "$tag MISSING"
    fi
done


More information about the reviews mailing list