From f98db24585dc31a29fb3fe88857ff8e4f81679ea Mon Sep 17 00:00:00 2001
From: Alexander Bandukwala <7h3kk1d@gmail.com>
Date: Fri, 16 Aug 2024 15:32:46 -0400
Subject: [PATCH 1/3] Add gitattributes for ml and md files

---
 .gitattributes | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitattributes b/.gitattributes
index ad70a23062..4883907893 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -2,3 +2,6 @@
 # decides that the content is text, its line endings are converted to LF on
 # checkin. When the file has been committed with CRLF, no conversion is done.
 * text=auto
+
+*.ml linguist-generated
+*.md linguist-documentation
\ No newline at end of file

From 7aafec48cba6eab4fe9f55b1f0470773194ae7db Mon Sep 17 00:00:00 2001
From: Alexander Bandukwala <7h3kk1d@gmail.com>
Date: Fri, 16 Aug 2024 15:59:51 -0400
Subject: [PATCH 2/3] Add docs directory to documentation

---
 .gitattributes | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitattributes b/.gitattributes
index 4883907893..7f6a5120c1 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -4,4 +4,5 @@
 * text=auto
 
 *.ml linguist-generated
-*.md linguist-documentation
\ No newline at end of file
+*.md linguist-documentation
+docs/** linguist-documentation
\ No newline at end of file

From a1367399dd64064dde881d373c34cf49704e3f40 Mon Sep 17 00:00:00 2001
From: Alexander Bandukwala <7h3kk1d@gmail.com>
Date: Fri, 16 Aug 2024 16:46:31 -0400
Subject: [PATCH 3/3] PR Feedback

- Add comment describing gitattributes
- Specify which ml files are generated in case we add more in the future
---
 .gitattributes | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.gitattributes b/.gitattributes
index 7f6a5120c1..c9bbc2ae16 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -3,6 +3,10 @@
 # checkin. When the file has been committed with CRLF, no conversion is done.
 * text=auto
 
-*.ml linguist-generated
+
+# Mark generated code and documentation as such to exclude them from PR diffs and stats.
+# More information: https://github.com/github-linguist/linguist/blob/master/docs/overrides.md#generated-code
+src/haz3lweb/Init.ml linguist-generated
+src/haz3lweb/exercises/**/*.ml linguist-generated
 *.md linguist-documentation
 docs/** linguist-documentation
\ No newline at end of file