continuous integration

[Bruno Haible]

Hi Jim,

For grep, I've now set up a continuous integration:
https://gitlab.com/gnu-grep/ci-distcheck

If you want to co-maintain it with me, let me know your GitLab login name,
so that I can assign you the permissions.

While setting up this CI, I noticed a problem:
bootstrap.conf specifies that 'rsync' is needed. But rsync is not needed
any more by 'gnulib-tool' and by 'bootstrap' since 2018-10-07.
<https://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=commit;h=0ddd440d18af7bb10437642f12721d83092f0bea>

Suggestion: Remove the need for rsync. Patch attached.

0001-Don-t-require-rsync-as-a-prerequisite.-It-is-no-long.patch
Description: Text Data