Exclude development files from source archives

Add .gitattributes with "export-ignore" attributes, so that agent
instructions, CI configuration and the release machinery are not part
of the tarballs created by "git archive", including the ones GitHub
generates for a tag.

diff --git a/.gitattributes b/.gitattributes
new file mode 100644 (file)
index 0000000..b80628c
--- /dev/null
+++ b/.gitattributes
@@ -0,0 +1,10 @@
+# The files below are development infrastructure, they are excluded
+# from source archives created by "git archive", see misc/GNUmakefile.
+
+/.gitattributes export-ignore
+/.github        export-ignore
+/.gitignore     export-ignore
+/AGENTS.md      export-ignore
+/CLAUDE.md      export-ignore
+/docs/agent     export-ignore
+/misc           export-ignore