@mirek Well, it is not like https://git.cepl.eu/cgit/ tries to compete with GitHub, but still I have tens of megabytes of logs. Probably should switch them off.