Marc Köhlbrugge
Remove unreliable autofixing lint action on github actions #wip