From fc75c8ebf556a0f95c9f42e864dbac73090ecc6a Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 2 Oct 2018 16:26:18 +0200
Subject: [dune] [opam] Install `revision` file when building with Dune.

Fixes #8621
---
 .github/CODEOWNERS | 1 +
 1 file changed, 1 insertion(+)

(limited to '.github')

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 51fc2b035c..412bed8334 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -9,6 +9,7 @@
 ########## Build system ##########
 
 /Makefile*        @gares
+/dev/tools/make_git_revision.sh @gares
 
 /configure*       @ejgallego
 
-- 
cgit v1.2.3