Merge pull request #880 from voxpupuli/delete-dockerfile

Ensure Dockerfile gets deleted
voxpupuli · Mar 11, 2024 · 1005de6 · 1005de6
2 parents f94f652 + f2976a1
commit 1005de6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/config_defaults.yml b/config_defaults.yml
@@ -147,5 +147,7 @@ Modulefile:
  delete: true
 Makefile:
  delete: true
+Dockerfile:
+ delete: true
 ...
 # vim: syntax=yaml