selinux/scripts/ci/.gitignore