Christoph Reiter b72b01523e CI: remove saneman ...

I've never found it particular helpful and usually just ignored it.

One could argue that it could be improved to do what we want, but
I personally don't want to write that in bash.

2023-02-06 18:47:14 +01:00

5.3 KiB

Raw Blame History

View Raw