From 062897ff96bb9651f7a1e152bc2327cbda4ad89e Mon Sep 17 00:00:00 2001 From: Jason Merrill 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:

output. Of particular use is the --oneline option to summarize the commit on a single line. -
  • gcc-descr - Undocumented
    • -
  • gcc-undescr - Undocumented
    • +
  • gcc-descr - describe a commit relative to its first gcc release, + e.g. r12-1234
    • +
  • gcc-undescr - convert a gcc-descr back to a commit SHA
  • gcc-verify - verify ChangeLog format for a particular commit
    • +
  • gcc-style - verify coding style for a particular commit
  • gcc-backport - run script that does git cherry-pick -x and reverts all modifications of ChangeLog files (both from index and conflicting files)
    • -- 2.39.3