Alexei and others,
what do you think of moving the 'freetype-web' git repository
https://cgit.freedesktop.org/freetype/freetype-web/
to FreeType's gitlab group, too? The actual copying of its contents
to 'www.freetype.org' happens every 10 minutes with a small cron
script on my freedesktop account (attached; it updates a private copy
of the repository, which then gets rsynced); it shouldn't thus make a
difference...
Werner
date >> /home/wl/crontab.log
(cd /home/wl/freetype-web
git pull >> /home/wl/crontab.log 2>&1)
rsync --recursive \
--links \
--exclude ".git" \
--delete \
--delete-excluded \
/home/wl/freetype-web/ \
/srv/freetype.freedesktop.org/www \
>> /home/wl/crontab.log 2>&1
