Check copyright header with opengrep#78

AlexanderLanin merged 5 commits into

eclipse-score:maineclipse-score/devcontainer:mainfrom

elektrobit-contrib:check-and-fix-licenceselektrobit-contrib/eclipse-score_devcontainer:check-and-fix-licencesCopy head branch name to clipboard