subject:"\[PATCH 2\/2\] pull\: use git\-rev\-parse \-\-parseopt for option parsing"

Re: [PATCH 2/2] pull: use git-rev-parse --parseopt for option parsing

2015-05-21 Thread Paul Tan

Hi, On Mon, May 18, 2015 at 10:43 PM, Johannes Schindelin johannes.schinde...@gmx.de wrote: On 2015-05-18 15:54, Paul Tan wrote: diff --git a/git-pull.sh b/git-pull.sh index 633c385..67f825c 100755 --- a/git-pull.sh +++ b/git-pull.sh @@ -4,13 +4,53 @@ # # Fetch one or more remote refs

Re: [PATCH 2/2] pull: use git-rev-parse --parseopt for option parsing

2015-05-18 Thread Johannes Schindelin

Hi Paul, On 2015-05-18 15:54, Paul Tan wrote: diff --git a/git-pull.sh b/git-pull.sh index 633c385..67f825c 100755 --- a/git-pull.sh +++ b/git-pull.sh @@ -4,13 +4,53 @@ # # Fetch one or more remote refs and merge it/them into the current HEAD. -USAGE='[-n | --no-stat]