gcc-wwwdocs branch master updated. f526c4724b183482fc7fe1a5ce78e1597fd1005f

gcc-wwwdocs branch master updated. f526c4724b183482fc7fe1a5ce78e1597fd1005f

[redi]

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  f526c4724b183482fc7fe1a5ce78e1597fd1005f (commit)
      from  b9024cd93b5a5aa7de629232e0631c1fbdac4544 (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 f526c4724b183482fc7fe1a5ce78e1597fd1005f
Author: Jonathan Wakely <jwakely@redhat.com>
Date:   Fri Jan 24 15:00:57 2020 +0000

    Adjust docs on personal Git branches

diff --git a/htdocs/gitwrite.html b/htdocs/gitwrite.html
index 55667a2d..b5d7ff35 100644
--- a/htdocs/gitwrite.html
+++ b/htdocs/gitwrite.html
@@ -436,6 +436,12 @@ you intend.  The script <code>contrib/git-add-user-branch.sh</code>
 can be used to create a new personal branch which can be pushed and
 pulled from the <i>users/me</i> remote.</p>
 
+<p><em>Personal spaces are controlled by the individual user.  Do not push
+changes to somebody else's space without their express permission.</em>
+(Rather than pushing to somebody else's personal branch, consider pushing
+to your own personal branch and having collaborators pull from there.)
+</p>
+
 <p>The script also defines a few useful aliases that can be used with the
 repository:</p>
 

-----------------------------------------------------------------------

Summary of changes:
 htdocs/gitwrite.html | 6 ++++++
 1 file changed, 6 insertions(+)


hooks/post-receive
-- 
gcc-wwwdocs