rizalgowandy · pull · Jan 10, 2023 · Mar 30, 2023 · Mar 31, 2023 · Mar 31, 2023
diff --git a/.gitattributes b/.gitattributes
@@ -1,4 +1,4 @@
-* text=auto
+* text=auto eol=lf
 
 *.compute text
 *.cs diff=csharp text
@@ -14,3 +14,4 @@
 
 # the ms t4 processor requires crlf
 *.tt eol=crlf text
+
diff --git a/.github/workflows/github-repo-stats.yml b/.github/workflows/github-repo-stats.yml
@@ -0,0 +1,19 @@
+name: github-repo-stats
+
+on:
+  schedule:
+    # Run this once per day, towards the end of the day for keeping the most
+    # recent data point most meaningful (hours are interpreted in UTC).
+    - cron: "0 23 * * *"
+  workflow_dispatch: # Allow for running this manually.
+
+jobs:
+  j1:
+    name: github-repo-stats
+    runs-on: ubuntu-latest
+    steps:
+      - name: run-ghrs
+        # Use latest release.
+        uses: jgehrcke/github-repo-stats@RELEASE
+        with:
+          ghtoken: ${{ secrets.ghrs_github_api_token }}
diff --git a/Docs/baking.md b/Docs/baking.md
diff --git a/Docs/examples/baking.md b/Docs/examples/baking.md