From a4bde2c1504c3fa3efe74586798d5d6f372b40d9 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Fri, 31 Aug 2018 19:51:50 -0400
Subject: Update dev/doc/release-process: compat+automate

As requested in
https://github.com/coq/coq/issues/8311#issuecomment-415976318
the release process describes the steps to take.

All automatable steps are taken by the new script
dev/tools/update-compat.py

I've tried to make the script relatively easy to update if functions get
renamed or moved, but since it's doing unstructured source manipulation,
it is sort-of fragile.

We could plausibly add a file to the test-suite to ensure that we catch
script-breakage early, but this would require dropping compatibility
support much earlier in the development cycle (the compatibility changes
would have to come right when the new version is branched, rather than
shortly before the beta release).
---
 .github/CODEOWNERS | 3 +++
 1 file changed, 3 insertions(+)

(limited to '.github/CODEOWNERS')

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 267da478d7..29fe3ef20b 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -350,3 +350,6 @@
 
 /dev/tools/check-owners*.sh @SkySkimmer
 # Secondary maintainer @maximedenes
+
+/dev/tools/update-compat.py @JasonGross
+# Secondary maintainer @Zimmi48
-- 
cgit v1.2.3