From dd00593e86ce35914f5399fba6cd6e9fa9745316 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= Date: Wed, 16 Oct 2019 23:53:59 +0200 Subject: [PATCH] add a comment --- Scripts/developer_scripts/tag_pr_per_release.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Scripts/developer_scripts/tag_pr_per_release.sh b/Scripts/developer_scripts/tag_pr_per_release.sh index af182a31c83..17e58a7379d 100644 --- a/Scripts/developer_scripts/tag_pr_per_release.sh +++ b/Scripts/developer_scripts/tag_pr_per_release.sh @@ -1,6 +1,9 @@ #!/bin/bash # this script requires ghi: https://github.com/stephencelis/ghi +# See the wiki for how to assign a token to connect without password: +# https://github.com/stephencelis/ghi/wiki/FAQ +# # example calls within a git repo # bash tag_pr_per_release.sh 4.12 4.12.1 # bash tag_pr_per_release.sh 4.12 4.13 @@ -26,7 +29,7 @@ for i in ${PR_LIST}; do done read -p "Please confirm operation by typing YES? " -n 4 -r -echo # (optional) move to a new line +echo if [[ $REPLY =~ ^YES$ ]]; then for i in ${PR_LIST}; do