misc/tag-release: Make it usable for remote repos

In case if the commiter has a main repo configured as remote
one and also has various tags (and don't want to push every
tag he has out to the main repo) he may use misc/tag-release
new functionality.

For example I have NASM remote repo as well known

	git://repo.or.cz/nasm.git

and a number of my own local tags/branches which I
would like to not sprinkle into a master repo.

So to make a release (say 2.08) I may just type

	misc/tag-release 2.08 git+ssh://xxx@repo.or.cz/srv/git/nasm.git master

and this command will push master branch into main repo with "nasm-2.08" tag.

Signed-off-by: Cyrill Gorcunov <gorcunov@gmail.com>

1 files changed, 21 insertions, 4 deletions

diff --git a/misc/tag-release b/misc/tag-release
index efaa4c3..230137f 100755
--- a/misc/tag-release
+++ b/misc/tag-release
@@ -1,13 +1,30 @@
 #!/bin/sh
+
 version="$1"
+repo=""
+branch=""
+
 if [ -z "$version" ]; then
-  echo "Usage: $0 version" 1>&2
+  echo "Usage: $0 version [repo branch]" 1>&2
   exit 1
 fi
 
+tag="nasm-$version"
+
+if [ $# -eq 3 ]; then
+  repo="$2"
+  branch="$3"
+fi
+
 echo "$version" > version
 git add version
 git commit -m "NASM $version"
-git tag -a -m "NASM $version" nasm-"$version"
-git push
-git push --tags
+git tag -a -m "NASM $version" "$tag"
+
+if [ $# -eq 3 ]; then
+  git push "$repo" "$branch"
+  git push "$repo" "$tag"
+else
+  git push
+  git push --tags
+fi