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

Author: Roberto Bagnara bagnara@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>