This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[wwwdocs PATCH] for Re: Policy for reverting someone else commit?
- From: Gerald Pfeifer <gerald at pfeifer dot com>
- To: Richard Biener <richard dot guenther at gmail dot com>
- Cc: Steve Kargl <sgk at troutmask dot apl dot washington dot edu>, gcc at gcc dot gnu dot org, gcc-patches at gcc dot gnu dot org
- Date: Sun, 20 May 2018 22:30:21 +0200 (CEST)
- Subject: [wwwdocs PATCH] for Re: Policy for reverting someone else commit?
- References: <20180520052025.GA25869@troutmask.apl.washington.edu> <32A89A3F-7811-4122-A627-56CE6D32FD60@gmail.com>
On Sun, 20 May 2018, Richard Biener wrote:
> IIRC there is a 24h rule that global maintainers can invoke. Not
> sure if that is formally documented somewhere.
Yes, we have a reversion policy; it is documented at
https://gcc.gnu.org/develop.html
And, after me just having applied the patch below, now
directly reachable at
https://gcc.gnu.org/develop.html#reversion
Gerald
Index: develop.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/develop.html,v
retrieving revision 1.180
diff -u -r1.180 develop.html
--- develop.html 25 Apr 2018 08:44:26 -0000 1.180
+++ develop.html 20 May 2018 20:20:35 -0000
@@ -154,7 +154,7 @@
so it is unlikely that many conflicts will occur.</p>
-<h3>Patch Reversion</h3>
+<h3 id="reversion">Patch Reversion</h3>
<p>If a patch is committed which introduces a regression on any target
which the Steering Committee considers to be important and if:</p>