[PPL-devel] [GIT] ppl/w3ppl(master): Explain how to add the `git wup' command.

[Roberto Bagnara]

Module: ppl/w3ppl
Branch: master
Commit: c71f1c943012200b264a1d19606bca1014011cd5
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=c71f1c943012200b264a1d19606bca1014011cd5

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Feb 22 18:59:34 2009 +0100

Explain how to add the `git wup' command.

---

 htdocs/Download/Git.raw |   12 ++++++++++++
 1 files changed, 12 insertions(+), 0 deletions(-)

diff --git a/htdocs/Download/Git.raw b/htdocs/Download/Git.raw
index 6f7102e..2cb8345 100644
--- a/htdocs/Download/Git.raw
+++ b/htdocs/Download/Git.raw
@@ -254,7 +254,19 @@ Always remember the commandments of team membership:
 
 <H4>More About Git Configuration</H4>
 
+<P>
+The following command will define a <CODE>git wup</CODE> command that
+you could use before any <CODE>git push</CODE> to check what you
+are about to push to the central repository:
+</P>
+<BLOCKQUOTE>
+  <CODE>git config --global alias.wup "log -p origin..@{0}"</CODE>
+</BLOCKQUOTE>
+
+<P>
 TODO: explain things such as diff.renames.
+</P>
+
 
 <H4>Tips from External Sources</H4>