diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..f2886ba
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+/Holmes/defects4j
\ No newline at end of file
diff --git a/Holmes/defects4j b/Holmes/defects4j
deleted file mode 160000
index fee5ddf..0000000
--- a/Holmes/defects4j
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit fee5ddf020d0ce9c793655b74f0ab068153c03ef