Message-ID: From: "sehrope (@sehrope)" To: "pgjdbc/pgjdbc" Date: Wed, 10 Jun 2026 19:56:44 +0000 Subject: [pgjdbc/pgjdbc] PR #4164: chore: Add top level /scratch to gitignore List-Id: X-GitHub-Additions: 3 X-GitHub-Author-Id: 1690926 X-GitHub-Author-Login: sehrope X-GitHub-Base: master X-GitHub-Changed-Files: 1 X-GitHub-Commits: 1 X-GitHub-Deletions: 0 X-GitHub-Head-Branch: add-scratch-to-gitignore X-GitHub-Head-SHA: 63da69124ef833e831820d9d7575b259a8d91e7e X-GitHub-Issue: 4164 X-GitHub-Merge-SHA: 63da69124ef833e831820d9d7575b259a8d91e7e X-GitHub-Merged-By: sehrope X-GitHub-Repo: pgjdbc/pgjdbc X-GitHub-State: merged X-GitHub-Type: pull_request X-GitHub-Url: https://github.com/pgjdbc/pgjdbc/pull/4164 Content-Type: text/plain; charset=utf-8 I always have a bunch of random scratch files as I'm experimenting with things. Nice to have a default place in the repo where they won't get accidentally added to a commit. So adding a top level `/scratch` that we can put anything we'd like in that will always be ignored but also won't get wiped by any build tooling (e.g., like /build or /out). diff --git a/.gitignore b/.gitignore index 5386dfe698..9486495448 100644 --- a/.gitignore +++ b/.gitignore @@ -30,5 +30,8 @@ release.properties dependency-reduced-pom.xml buildNumber.properties +# Ignore local scratch files +/scratch + # Ignore folders used to build binaries for old Java /eclipsebin/