Remove Jenkinsfile for Gitea mirror

doc/puppet_classes/confdroid_jenkins_3A_3Amain_3A_3Adirs.html

@@ -186,8 +186,8 @@ class confdroid_jenkins::main::dirs (
       mode     => '0755',
       selrange => s0,
       selrole  => object_r,
-      seltype  => var_log_t,
-      seluser  => unconfined_u,
+      seltype  => var_lib_t,
+      seluser  => system_u,
     }
 
     # jenkins cache
@@ -211,7 +211,7 @@ class confdroid_jenkins::main::dirs (
       selrange => s0,
       selrole  => object_r,
       seltype  => var_run_t,
-      seluser  => unconfined_u,
+      seluser  => system_u,
     }
   }
 }</pre>

manifests/main/dirs.pp

@@ -29,8 +29,8 @@ class confdroid_jenkins::main::dirs (
       mode     => '0755',
       selrange => s0,
       selrole  => object_r,
-      seltype  => var_log_t,
-      seluser  => unconfined_u,
+      seltype  => var_lib_t,
+      seluser  => system_u,
     }
 
     # jenkins cache
@@ -54,7 +54,7 @@ class confdroid_jenkins::main::dirs (
       selrange => s0,
       selrole  => object_r,
       seltype  => var_run_t,
-      seluser  => unconfined_u,
+      seluser  => system_u,
     }
   }
 }