On 12/20/23 02:39, Richard Biener wrote:
On Tue, Dec 19, 2023 at 6:41 PM Jason Merrill <ja...@redhat.com> wrote:
On 12/11/23 22:00, Jason Merrill wrote:
OK for trunk?
Ping. CCing Alex because this could plausibly be considered build
machinery, and he's had useful feedback on my sh code before.
OK in case Alex doesn't have any comments.
Btw, is there a webpage where we document our git plumbing? Would
be nice to update that with the new alias.
Yep, updated it thus:
From 062897ff96bb9651f7a1e152bc2327cbda4ad89e Mon Sep 17 00:00:00 2001
From: Jason Merrill <ja...@redhat.com>
Date: Mon, 11 Dec 2023 22:10:53 -0500
Subject: [PATCH] gitwrite: add gcc-style
To: gcc-patches@gcc.gnu.org
---
htdocs/gitwrite.html | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/htdocs/gitwrite.html b/htdocs/gitwrite.html
index 1ffda77a..0c146aba 100644
--- a/htdocs/gitwrite.html
+++ b/htdocs/gitwrite.html
@@ -432,9 +432,11 @@ repository:</p>
output. Of particular use is the
<code>--oneline</code> option to summarize the commit on a single line.
</li>
- <li><i>gcc-descr</i> - Undocumented</li>
- <li><i>gcc-undescr</i> - Undocumented</li>
+ <li><i>gcc-descr</i> - describe a commit relative to its first gcc release,
+ e.g. r12-1234</li>
+ <li><i>gcc-undescr</i> - convert a gcc-descr back to a commit SHA</li>
<li><i>gcc-verify</i> - verify ChangeLog format for a particular commit</li>
+ <li><i>gcc-style</i> - verify coding style for a particular commit</li>
<li><i>gcc-backport</i> - run script that does <code>git cherry-pick -x</code>
and reverts all modifications of ChangeLog files (both from index
and conflicting files)</li>
--
2.39.3
