From 314533d01ff87a6220b029d770dd90371193a075 Mon Sep 17 00:00:00 2001 From: Gaurav Vaidya Date: Mon, 31 Aug 2026 14:49:57 -0400 Subject: [PATCH] Ignore Jupyter checkpoint directories Jupyter writes a .ipynb_checkpoints/ directory beside any notebook it opens, so documentation/NameResolution.ipynb leaves one behind as untracked clutter after anyone runs it. The rule is left unanchored rather than pointed at documentation/, so it also covers notebooks added elsewhere later -- the same reasoning as d4179da, which unanchored .idea/ after IntelliJ directories appeared in subdirectories. Co-Authored-By: Claude Opus 5 --- .gitignore | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.gitignore b/.gitignore index 1f32c4ee..131fb2f6 100644 --- a/.gitignore +++ b/.gitignore @@ -5,3 +5,8 @@ data/ # IntelliJ files .idea/ + +# Jupyter checkpoint directories, which Jupyter writes beside any notebook it +# opens -- currently only documentation/, but the rule is left unanchored so it +# also covers notebooks added elsewhere later. +.ipynb_checkpoints/