Add a configuration for automatic generation of changelogs by Github (#…

…3247)
KeYProject · Nov 24, 2023 · 7a43f16 · 7a43f16
2 parents 950d9af + 7090f3c
commit 7a43f16
Showing 1 changed file with 28 additions and 0 deletions.
diff --git a/.github/release.yml b/.github/release.yml
@@ -0,0 +1,28 @@
+# .github/release.yml
+
+# Documentation:
+# https://docs.github.com/en/repositories/releasing-projects-on-github/automatically-generated-release-notes
+
+changelog:
+  exclude:
+    labels:
+      - "Ignore in Changelog"
+    authors:
+      - octocat
+      - dependabot
+  categories:
+    - title: Breaking Changes 🗲
+      labels:
+        - "Breaking Change"
+    - title: Exciting New Features 🎉
+      labels:
+        - "Exciting New Feature"
+    - title: Enhancement
+      labels:
+        - "Enhancement"
+    - title: Bug Fixes
+      labels:
+        - "🐞 Bug"
+    - title: Other Changes
+      labels:
+        - "*"