4 commits

Author	SHA1	Message	Date
Stefano Brivio	337f55166f	demo, ci: Switch to asciinema(1) for terminal recordings ... For demos, cool-retro-term(1) looked fancier, but several threads of that and ffmpeg(1) are just messing up with performance testing. The CI videos started getting really big as well, and they were difficult to read. Signed-off-by: Stefano Brivio <sbrivio@redhat.com>	2022-02-22 18:36:24 +01:00
Stefano Brivio	39a3531270	README, hooks: Build HTML man page on push, add a link ... Signed-off-by: Stefano Brivio <sbrivio@redhat.com>	2022-02-21 13:41:13 +01:00
Stefano Brivio	1802871e9e	hooks/pre-push: Delete old versions, add -DGLIBC_NO_STATIC_NSS, disable legacy builds ... Signed-off-by: Stefano Brivio <sbrivio@redhat.com>	2022-01-26 16:30:59 +01:00
Stefano Brivio	ab32838022	git: Add pre-push hook ... I've been using this for a while, now it's all "nice" and clean. Signed-off-by: Stefano Brivio <sbrivio@redhat.com>	2021-10-06 14:06:37 +02:00