Re: tag2upload: extending discussion; committing new reqs to git
Sean Whitton <spwhitton@spwhitton.name> writes:
> diff --git a/TAG2UPLOAD-DESIGN.txt b/TAG2UPLOAD-DESIGN.txt
> index 6dbfaec4..a6fdf199 100644
> --- a/TAG2UPLOAD-DESIGN.txt
> +++ b/TAG2UPLOAD-DESIGN.txt
> @@ -138,7 +138,8 @@ Not exposed via the git protocol, not even as a client.
> +The .changes will also contain a file SOURCE_VERSION.git.tar.xz which is
> +a compressed git repository with the following properties:
> +
> + * These reproductions are up to equality of file names and contents
> + -- timestamps of files may differ.
I think this use of "up to" is not what you meant to write --
pseudo-mathematicians generally use this to mean "excluding" (or
"disregarding" is suggested at [1] ), so "up to equality of file names
and contents" would suggest file names and contents *can* be changed at
will -- i think you just mean that "timestamps of files may differ".
[1] https://math.stackexchange.com/questions/3647362/meaning-of-up-to -
see the first answer
sorry for nitpicking, but i assume it's helpful to get this precise
Reply to: