Removes Dockerfile.dev (#390)

Dockerfile.dev was never fully adopted for development of gitlint. Remove it to reduce maintenance overhead.
jorisroovers · Dec 13, 2022 · de4c328 · de4c328
1 parent 33f50ab
commit de4c328
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 19 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -1,5 +1,3 @@
-# User-facing Dockerfile. For development, see Dockerfile.dev and ./run_tests.sh -h
-
 # To lint your current working directory:
 # docker run --ulimit nofile=1024 -v $(pwd):/repo jorisroovers/gitlint
 

diff --git a/Dockerfile.dev b/Dockerfile.dev