Closed ntraut closed 3 years ago
Can you merge master to fix the CI please?
I typically prefer using Python, rather than shell, to do this, as I is easier to read and to debug.
Done. I made it in shell because it is a simple task and faster to code like this, but maybe you're right and it's easier to read in python.
Merging
Can you merge master to fix the CI please?
I typically prefer using Python, rather than shell, to do this, as I is easier to read and to debug.