diff options
author | Andreas Boll <[email protected]> | 2012-06-12 09:05:22 +0200 |
---|---|---|
committer | Brian Paul <[email protected]> | 2012-06-12 08:03:30 -0600 |
commit | df2be226d9ca6772eb4615ce0670e66667b86691 (patch) | |
tree | 5187783b08e5f4f616a548773b6126b64013d97e /docs/repository.html | |
parent | 703a662c1582794a5a0b29bb2ff5a5e04149a3e6 (diff) |
docs: fix html end/start tags
for more well-formed html
Signed-off-by: Brian Paul <[email protected]>
Diffstat (limited to 'docs/repository.html')
-rw-r--r-- | docs/repository.html | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/docs/repository.html b/docs/repository.html index cd895a37211..094b30d992d 100644 --- a/docs/repository.html +++ b/docs/repository.html @@ -14,6 +14,7 @@ Mesa uses <a href="http://git.or.cz/"target="_parent">git</a> as its source code management system. </p> +<p> The master git repository is hosted on <a href="http://www.freedesktop.org" target="_parent">freedesktop.org</a>. </p> @@ -145,6 +146,7 @@ branch, try: git config branch.master.remote origin git config branch.master.merge master </pre> +<p> Otherwise, you have to say<code> git pull origin master </code> each time you do a pull. </p> @@ -163,6 +165,7 @@ If it has been awhile since you've done the initial clone, try <pre> git pull </pre> +<p> to get the latest files before you start working. </p> <p> @@ -171,6 +174,7 @@ Make your changes and use git add <files to commit> git commit </pre> +<p> to get your changes ready to push back into the fd.o repository. </p> <p> @@ -186,12 +190,13 @@ To avoid this, git pull --rebase git push </pre> +<p> If you are familiar with CVS or similar system, this is similar to doing a <code> cvs update </code> in order to update your source tree to the current repository state, instead of the time you did the last update. (CVS doesn't work like git in this respect, but this is easiest way to explain it.) -</br> +<br> In any case, your repository now looks like you made your changes after all the other changes. </p> |