pgjdbc/pgjdbc GitHub issues and pull requests (mirror)
help / color / mirror / Atom feedFrom: sehrope (@sehrope) <[email protected]>
To: pgjdbc/pgjdbc <[email protected]>
Subject: [pgjdbc/pgjdbc] PR #4164: chore: Add top level /scratch to gitignore
Date: Wed, 10 Jun 2026 19:56:44 +0000
Message-ID: <[email protected]> (raw)
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/
reply
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Reply to all the recipients using the --to and --cc options:
reply via email
To: github://pgjdbc/pgjdbc
Cc: [email protected], [email protected]
Subject: Re: [pgjdbc/pgjdbc] PR #4164: chore: Add top level /scratch to gitignore
In-Reply-To: <<[email protected]>>
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox