From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 34178 invoked by alias); 23 Jan 2020 08:40:20 -0000 Mailing-List: contact gcc-cvs-wwwdocs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-cvs-wwwdocs-owner@gcc.gnu.org Received: (qmail 34136 invoked by uid 9022); 23 Jan 2020 08:40:20 -0000 Date: Thu, 23 Jan 2020 08:40:00 -0000 Message-ID: <20200123084020.34132.qmail@sourceware.org> From: gerald@gcc.gnu.org To: gcc-cvs-wwwdocs@gcc.gnu.org Subject: gcc-wwwdocs branch master updated. 25b8efaa9b5f4c8d95f1510296ead31113d44ea8 X-Git-Refname: refs/heads/master X-Git-Reftype: branch X-Git-Oldrev: 7f294acb3db3c6db8df1e1a160aa7c5c3f35258a X-Git-Newrev: 25b8efaa9b5f4c8d95f1510296ead31113d44ea8 X-SW-Source: 2020/txt/msg00062.txt This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gcc-wwwdocs". The branch, master has been updated via 25b8efaa9b5f4c8d95f1510296ead31113d44ea8 (commit) from 7f294acb3db3c6db8df1e1a160aa7c5c3f35258a (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 25b8efaa9b5f4c8d95f1510296ead31113d44ea8 Author: Gerald Pfeifer Date: Thu Jan 23 09:39:42 2020 +0100 Abstract a statement to refer to our infrastructure, no specifics. diff --git a/htdocs/contribute.html b/htdocs/contribute.html index 042ff069..b671354e 100644 --- a/htdocs/contribute.html +++ b/htdocs/contribute.html @@ -186,7 +186,7 @@ be plaintext rather than part of the patch since the top of the ChangeLog changes rapidly and a patch to the ChangeLog would probably no longer apply by the time your patch is reviewed. If your change fixes a PR, put text in the ChangeLog entry mentioning -the PR. The svn commit machinery understands how to +the PR. Our infrastructure understands how to extract this information and automatically append the commit log to the PR. In order to be recognized, the text must fit a particular form. It must start with "PR", and then must include the category ----------------------------------------------------------------------- Summary of changes: htdocs/contribute.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) hooks/post-receive -- gcc-wwwdocs