public inbox for gcc-cvs-wwwdocs@sourceware.org
help / color / mirror / Atom feed
* gcc-wwwdocs branch master updated. 733c9e4ecbcb5c548863fcf88fc1a5b12e68a2d5
@ 2023-01-19  9:32 Gerald Pfeifer
  0 siblings, 0 replies; only message in thread
From: Gerald Pfeifer @ 2023-01-19  9:32 UTC (permalink / raw)
  To: gcc-cvs-wwwdocs

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  733c9e4ecbcb5c548863fcf88fc1a5b12e68a2d5 (commit)
      from  66b75e896c9a9daea844281c13aba4ddcd2b82ef (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 733c9e4ecbcb5c548863fcf88fc1a5b12e68a2d5
Author: Gerald Pfeifer <gerald@pfeifer.com>
Date:   Thu Jan 19 10:32:10 2023 +0100

    gitwrite: Structure a section some more
    
    On the way properly mark up a command-line option.

diff --git a/htdocs/gitwrite.html b/htdocs/gitwrite.html
index e4dadb27..1ffda77a 100644
--- a/htdocs/gitwrite.html
+++ b/htdocs/gitwrite.html
@@ -412,12 +412,15 @@ chosen).  You can also push an already existing branch using <code>git
 push users/me me/branch</code>.  Beware that if you have more than one
 personal branch set up locally, simply typing <code>git push
 users/me</code> will potentially push all personal branches based on
-that remote.  Use --dry-run to check that what will be pushed is what
-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>
+that remote.</p>
+
+<p>Use <code>--dry-run</code> to check that what will be pushed is what
+you intend.
 
-<p>The script also defines a few useful aliases that can be used with the
+<p>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.
+The script also defines a few useful aliases that can be used with the
 repository:</p>
 
 <ul>

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

Summary of changes:
 htdocs/gitwrite.html | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)


hooks/post-receive
-- 
gcc-wwwdocs

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2023-01-19  9:32 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-01-19  9:32 gcc-wwwdocs branch master updated. 733c9e4ecbcb5c548863fcf88fc1a5b12e68a2d5 Gerald Pfeifer

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).