From bb39aeddaa38d9273c6eab1377edbdad6c5e53c4 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Sat, 5 Oct 2019 11:37:51 +0200
Subject: Simple script to prefill a changelog entry

---
 .github/CODEOWNERS | 3 +++
 1 file changed, 3 insertions(+)

(limited to '.github')

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 6c7b7a9a1c..4789d9b6fa 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -333,6 +333,9 @@ azure-pipelines.yml @coq/ci-maintainers
 
 /dev/tools/github-check-prs.py @SkySkimmer
 
+/dev/tools/make-changelog.sh @SkySkimmer
+# Secondary maintainer @Zimmi48
+
 /dev/tools/merge-pr.sh @maximedenes
 # Secondary maintainer @gares
 
-- 
cgit v1.2.3