Christoph Koschel

Would it be better to create an external file in the workflow or the .github folder that is loaded during workflow start? Another idea is to leave a list of...

This could be a hard issue, though, because we cannot just say that we allow any character before a TODO comment since when the programmer writes "//TODO" into a string,...