cosmetics

gildas · Oct 27, 2023 · ecd6141 · ecd6141
1 parent 29d4851
commit ecd6141
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/hooks/common/post-flow-feature-publish b/hooks/common/post-flow-feature-publish
@@ -34,8 +34,8 @@ if [[ $ORIGIN =~ ^git@github\.com ]]; then
   repo=$(echo $ORIGIN | sed -e 's/^git@github\.com://' -e 's/\.git$//')
   if command -v gh &> /dev/null; then
     gh pr create \
-      --title "Merge feature $BRANCH" \
-      --body  "Feature $BRANCH. Do not delete the feature branch after the merge." \
+      --title "Merge $BRANCH" \
+      --body  "Feature $VERSION. Do not delete the feature branch after the merge." \
       --base  $DEVELOP_BRANCH \
       --repo  $repo
   # TODO: use --web optionally so the user can edit the PR?!?

diff --git a/hooks/common/post-flow-release-publish b/hooks/common/post-flow-release-publish
@@ -34,8 +34,8 @@ if [[ $ORIGIN =~ ^git@github\.com ]]; then
   repo=$(echo $ORIGIN | sed -e 's/^git@github\.com://' -e 's/\.git$//')
   if command -v gh &> /dev/null; then
     gh pr create \
-      --title "Merge release $BRANCH" \
-      --body  "Release $BRANCH. Do not delete the release branch after the merge." \
+      --title "Merge $BRANCH" \
+      --body  "Release $VERSION. Do not delete the release branch after the merge." \
       --base  $MASTER_BRANCH \
       --repo  $repo
   # TODO: use --web optionally so the user can edit the PR?!?