* ci: remove unused check_grep.sh * bad idea to prohibit this --------- Co-authored-by: S34N <12197162+S34NW@users.noreply.github.com>