From b0f2d435bbb0b78f164876b765c8c97c6be2eecd Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Thu, 29 Mar 2018 11:09:35 +0200
Subject: Remove dev/doc/changes.md from files with a code owner.

Like CHANGES, and the test-suite folder, this file receives too many
updates to have a code owner. It is the job of the reviewer of the PR
to review changes to these files as well.
---
 .github/CODEOWNERS | 4 ++++
 1 file changed, 4 insertions(+)

(limited to '.github')

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index d33a0c59f..f344c5cf5 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -37,6 +37,10 @@
 /dev/doc/         @Zimmi48
 # Secondary maintainer @maximedenes
 
+/dev/doc/changes.md    @ghost
+# Trick to avoid getting review requests
+# each time someone modifies the dev changelog
+
 /doc/             @maximedenes
 # Secondary maintainer @silene
 
-- 
cgit v1.2.3