diff options
| -rwxr-xr-x | update_tags | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update_tags b/update_tags index 78675ee..25bc143 100755 --- a/update_tags +++ b/update_tags @@ -1,6 +1,6 @@ #!/bin/sh -git branch -r | grep 'tags/[0-9]' | sed -e 's"tags/\(.*\)"& v\1"' \ +git branch -r | egrep 'tags/(|PR)[0-9]' | sed -e 's"tags/\(.*\)"& v\1"' \ | while read branch tag; do if [ ! -r .git/refs/tags/$tag ]; then echo "tagging $tag from $branch" |