new gnulib/maint-tools git repository

[Bruno Haible]

Hi,

We now have a separate git repository for gnulib maintainer tools.
I asked the savannah admins to create the repository and filled it
with the following tools:

  * A database which platform has which header file. Example:

    $ ./show-portability --doc error.h
    macOS 11.1, FreeBSD 13.0, NetBSD 9.0, OpenBSD 6.7, Minix 3.3.0, AIX 7.1, 
HP-UX 11.31, IRIX 6.5, Solaris 11.4, Cygwin 1.5.19, mingw, MSVC 14.
    (That's the list of platforms which don't have the <error.h> header file.)

  * A database which platform has which function. Example:

    $ ./show-portability --doc error_at_line
    macOS 11.1, FreeBSD 13.0, NetBSD 9.0, OpenBSD 6.7, Minix 3.3.0, AIX 7.1, 
HP-UX 11.31, IRIX 6.5, Solaris 11.4, Cygwin 1.7.x, mingw, MSVC 14, Android 4.3.
    (That's the list of platforms which don't have the error_at_line function.)

  * A table of end-of-life dates for various OS releases.

To check it out:
  git clone ssh://<username>@git.savannah.gnu.org/srv/git/gnulib/maint-tools.git
Anonymous checkout:
  git clone git://git.savannah.gnu.org/gnulib/maint-tools.git
  git clone https://git.savannah.gnu.org/git/gnulib/maint-tools.git

It is not directly useful to the *users* of Gnulib; everything that is
relevant to the users of Gnulib remains in gnulib's main git repository.

Bruno