chiark / gitweb /
rules: delete pilot rules and remove redhat directory