From ea40ecb888e6242d245cdd8d235e8fa2a6b6c09d Mon Sep 17 00:00:00 2001
From: Benjamin Gilbert <bgilbert@cs.cmu.edu>
Date: Mon, 25 Aug 2025 00:50:58 -0500
Subject: [PATCH] gitattributes: exclude pre-commit config from source archive

Signed-off-by: Benjamin Gilbert <bgilbert@cs.cmu.edu>
---
 .gitattributes | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/.gitattributes b/.gitattributes
index 0dd2420..fe8b914 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -1,4 +1,5 @@
-# Don't include Git/GitHub metadata in release tarballs
-.gitattributes	export-ignore
-.gitignore	export-ignore
-/.github	export-ignore
+# Don't include tool metadata in source archive
+.gitattributes			export-ignore
+.gitignore			export-ignore
+/.github			export-ignore
+/.pre-commit-config.yaml	export-ignore