From bb0ca96a6a207a7240494ad1d0596b5dda88c801 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Wed, 31 May 2023 12:32:56 +0200 Subject: [PATCH] Add README. --- README | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 README diff --git a/README b/README new file mode 100644 index 00000000..f3bb362b --- /dev/null +++ b/README @@ -0,0 +1,12 @@ +This repository contains tools and data for the *maintainers* of Gnulib. + +To check it out: + git clone ssh://@git.savannah.gnu.org/srv/git/gnulib/maint-tools.git + git clone git://git.savannah.gnu.org/gnulib/maint-tools.git + git clone https://git.savannah.gnu.org/git/gnulib/maint-tools.git +To view it through a web interface: + https://git.savannah.gnu.org/gitweb/?p=gnulib/maint-tools.git;a=shortlog + https://git.savannah.gnu.org/cgit/gnulib/maint-tools.git/ + +It is not directly useful to the *users* of Gnulib; everything that is +relevant to the users of Gnulib is in gnulib's main git repository. -- 2.39.5