[wwwdocs PATCH] for Re: Policy for reverting someone else commit?
Gerald Pfeifer
gerald@pfeifer.com
Sun May 20 20:33:00 GMT 2018
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>
More information about the Gcc-patches
mailing list