Re: [PATCH 1/2] release.sh: allow changing the git remote's name

On Fri, Jul 31, 2009 at 02:37:10AM +0200, Julien Cristau wrote: > --- > I'm using origin for git.debian.org, and upstream for git.fd.o, so this > makes it possible to push releases to the right place :) > > release.sh | 11 +-- > 1 files changed, 9 insertions(+), 2 deletions(-) > > dif

[PATCH 1/2] release.sh: allow changing the git remote's name

--- I'm using origin for git.debian.org, and upstream for git.fd.o, so this makes it possible to push releases to the right place :) release.sh | 11 +-- 1 files changed, 9 insertions(+), 2 deletions(-) diff --git a/release.sh b/release.sh index 9f7358d..f6eaf23 100755 --- a/release.sh