Hi Olaf Am 04.03.2018 um 02:52 schrieb Olaf Meeuwissen: > ... > > Sorry about that. Should be fixed now. >
The last file on the website is from 28-Feb-2018 00:05 > # Not quite sure why that happened but I suspect I made a mistake with > # the ln command. It doesn't seem to be caused by the update-htdocs.sh > # script. IIUC, that script runs daily. > > Anyway, given the (in)frequency with which our repositories are pushed > to I wonder if it makes sense to drop the daily git snapshots in favour > of the source tarballs created by our CI setup on every push. > > # Sometimes weeks go by without a commit ;-) > > The git snapshots are *not* the same as the source tarballs. The former > are the result of > > git archive --format=tar --prefix=sane-backends-$(date +%Y%m%d) master > > whereas the latter are the result of > > make dist > This is exactly what I need. > So the latter are equivalent to what we eventually release. > > How easy/hard would it be to change things on your end to use the CI > source tarballs? Should I submit an issue for that on GitLab? > > ... On my point of view, daily git snapshots without any changes make no sense. Thanks. Rolf -- sane-devel mailing list: sane-devel@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/sane-devel Unsubscribe: Send mail with subject "unsubscribe your_password" to sane-devel-requ...@lists.alioth.debian.org
