chore: fix release instructions and tools (#8527)

Agoric · Dec 7, 2023 · 82cced2 · 82cced2
1 parent 7153535
commit 82cced2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/MAINTAINERS.md b/MAINTAINERS.md
@@ -117,7 +117,7 @@ prior=$(git tag -l | sed -ne 's!^@agoric/sdk@\([0-9]*\).*!\1!p' | sort -n | tail
 SDKVER=$(( prior + 1 ))
 git tag @agoric/sdk@$SDKVER
 # Push the branch.
-git push -u origin release-$now
+git push -u origin prepare-release-$now
 # Tell which packages have actual news.
 scripts/have-news HEAD^ > have-news.md
 ```

diff --git a/scripts/get-released-tags b/scripts/get-released-tags
@@ -5,7 +5,7 @@ otherTags=
 if test -z "$cmd"; then
   cmd=echo
 fi
-for tag in $(git tag -l | grep -E '@[.0-9]+$'); do
+for tag in $(git tag -l --contains HEAD | grep -E '@[0-9.]+(-[^.]*\.[0-9.]+)?$'); do
   case $tag in
   @agoric/sdk@*) sdkTags="$sdkTags $tag" ;;
   @agoric/cosmos@*)