chore: adjust changelog merge strategy config

/cc @leodemoura
leanprover · Feb 4, 2022 · 2b7427c · 2b7427c
1 parent cfb67ee
commit 2b7427c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitattributes b/.gitattributes
@@ -1,3 +1,3 @@
 *.expected.out -text
-doc/changes.md merge=union
+doc/RELASES.md merge=union
 stage0/** binary linguist-generated