From b614c29bee464211f9e52b19eda8fb6d9852bc61 Mon Sep 17 00:00:00 2001 From: Doga Gursoy <16776958+xmap@users.noreply.github.com> Date: Sun, 9 Aug 2026 04:07:56 -0500 Subject: [PATCH] Stop local paper renders from being stageable into a public repo Reviewing a paper render rasterizes its PDF into page images under tmp/pdfs/. Four such folders had accumulated, 84 page images across four unpublished papers, and git reported the directory as untracked rather than ignored. Untracked is a weaker guarantee than it looks. The papers themselves are protected because papers/*/ is ignored, but their renders sit at the repo root and inherit none of that, so a git add -A would stage unpublished paper pages into a public repo. Ignoring tmp/ closes the gap at the directory that keeps getting recreated, rather than relying on whoever runs the next render to clean up after it. Co-Authored-By: Claude Opus 5 --- .gitignore | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.gitignore b/.gitignore index 5c1f1e55d68..79c40a76053 100644 --- a/.gitignore +++ b/.gitignore @@ -102,6 +102,12 @@ papers/*/_minted*/ papers/*/ !papers/2026-vaxautosci-scrubber/ +# Local scratch. Reviewing a paper render rasterizes its PDF to page images +# under tmp/pdfs/, and those pages are unpublished paper content sitting +# outside the papers/ tree that ignores it. Untracked is not enough: a +# git add -A would stage them into a public repo. +tmp/ + # Mutmut working tree (regenerated per audit; holds the AST-mutated copy # of src/ + tests/ under apps/api/mutants/). Never committed. apps/api/mutants/