[sr-dev] git:master:70ff7c29: github: disable CodeQL scan for pull requests [skip ci]