Skip to content

initial commit with shell script and gitignore

Holger Witsch requested to merge master into main

Well, the new default name is main, so let's merge it into that branch.

Merge request reports