Closed ubaumann closed 3 months ago
Hi Urs I wanted to add a cleanup commit, but it seems your main branch is protected. There is an option to allow maintainers to commit to the branch when you open a PR, you might have a look at it.
or you can apply the following git patch and push it again
Thank you very much. The setting was enabled but I will apply the patch later. Thanks again
I saw that there is no automation lab and was thinking someone needed to make the start ;) If I can update the PR, let me know.