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).