Repository navigation
Check copyright header with opengrep - #78
Merged
AlexanderLanin merged 5 commits intoFeb 6, 2026
Merged
AlexanderLanin merged 5 commits into
AlexanderLanin merged 5 commits into
Commits
Commits on Feb 5, 2026
Commits on Feb 6, 2026