Le 2011-05-15 à 4:06, Jonathan M Davis a écrit : > On 2011-05-15 00:39, Russel Winder wrote: >> On Sun, 2011-05-15 at 00:31 -0700, Jonathan M Davis wrote: >> [ . . . ] >> >>> I believe that git-push --tags will push the tags, so you probably need >>> to run something like >> >> Isn't git-push somewhat out of date, shouldn't that be git push? ;-) > > Both are valid. There's nothing out-of-date about either.
$ git-push -bash: git-push: command not found $ git push fatal: Not a git repository (or any of the parent directories): .git $ git --version git version 1.7.2.2 Clearly one works and the other doesn't for me. It used to work with earlier versions. Which version of git do you have? -- Michel Fortin [email protected] http://michelf.com/ _______________________________________________ phobos mailing list [email protected] http://lists.puremagic.com/mailman/listinfo/phobos
