Re: Can we have gnulib-tool.py emit the same copyright header?

[Collin Funk]

On 2/27/24 6:26 PM, Bruno Haible wrote:
> git log -n 1 ChangeLog | grep ^Date:

Ah, I see what is happening.

[collin@debian gnulib]$ git log -n 1
commit 431d6a7615245e6b32d95b4b27aab5d3af65ad2b (HEAD -> master, origin/master, 
origin/HEAD)
Author:     Bruno Haible <bruno@clisp.org>
AuthorDate: Wed Feb 28 00:33:49 2024 +0100
Commit:     Bruno Haible <bruno@clisp.org>
CommitDate: Wed Feb 28 00:33:49 2024 +0100

    isnan: Fix compilation error in C++ mode on OpenBSD 7.5-beta.
    
    Reported by Christian Weisgerber <naddy@mips.inka.de> in
    <https://lists.gnu.org/archive/html/bug-gnulib/2024-02/msg00261.html>.
    
    * lib/math.in.h (GNULIB_NAMESPACE_LACKS_ISNAN): Define on all platforms
    with clang ≥ 14.

So the grep ^Date fails. I don't remember changing this but in my git
config it is caused by this [1]:

[format]
        pretty = fuller

The regular gnulib-tool gives me this:

[collin@debian gnulib]$ gnulib-tool --version
gnulib-tool (GNU gnulib 2024-02-28 00:00:00) 0.1.7153-431d6
Copyright (C) 2024 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <https://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.

Written by Bruno Haible, Paul Eggert, and Simon Josefsson.

It seems that some people might have their git log settings so that
there isn't even a date or name:

[collin@debian gnulib]$ git log --pretty=oneline
431d6a7615245e6b32d95b4b27aab5d3af65ad2b (HEAD -> master, origin/master, 
origin/HEAD) isnan: Fix compilation error in C++ mode on OpenBSD 7.5-beta.
38a9bb6e0ae3f5c71da8eb5db5ea7aa41b14f3e4 gnulib-tool.py: Fix configure.ac 
output.
e1f51c8e0431fe2598479daf76690e1d4d7c1a88 gnulib-tool.py: Follow gnulib-tool 
changes, part 31.
bb09847b7d87d1c99a29f889372bc4771eb9d2bd gnulib-tool.py: Small fix of part 27.

I wonder which version this feature was added... I'm not sure how git
will act with invalid arguments but ideally we could run something
like:

[collin@debian gnulib]$ git log --pretty=medium -n 1 | grep '^Date:'
Date:   Wed Feb 28 00:33:49 2024 +0100

I think medium looks like the default, but I'd have to double check.

[1] https://git-scm.com/docs/pretty-formats

Collin