Merge pull request #628 from leocardao/mr/cardao/update-vcs-ignore-list

Update VCS ignore list
AdaCore · Nov 15, 2023 · eed1f5d · eed1f5d
2 parents 377fef5 + d4eff33
commit eed1f5d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/e3/fs.py b/src/e3/fs.py
@@ -549,6 +549,10 @@ def splitall(path: str) -> tuple[str, ...]:
     ".gitreview",
     ".mailmap",
     ".idea",
+    ".python-version",
+    ".gitlab-ci",
+    ".vscode",
+    ".github",
 )