chore: update repo gitignore [ci skip]

confluentinc · Jan 30, 2024 · 6eae145 · 6eae145
1 parent 0140008
commit 6eae145
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -220,6 +220,12 @@ flycheck_*.el
 /network-security.data
 
 
+/mk-include/
+/.mk-include-timestamp
+
+/coverage.txt
+/vendor/
+
 # ServiceBot work directory
 .servicebot/*