>>>>> On Sat, 21 Dec 2019, Michael Orlitzky wrote: > And then you tried to use my suggestion to be extra careful and run a > CI check against me, which is obnoxious, so there you go.
Maybe you shouldn't suggest usage of non-free tools (like Github) then? It's everyone's own choice if they want to use such tools, but it certainly cannot be part of any standard workflow.
