From 3390734fba760b6dccaf3d7d4e8a1d2405670b3e Mon Sep 17 00:00:00 2001 From: Hari Sekhon Date: Wed, 28 Aug 2024 23:58:51 +0200 Subject: [PATCH] updated github.sh --- lib/github.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/lib/github.sh b/lib/github.sh index aa870b01..70e5f409 100644 --- a/lib/github.sh +++ b/lib/github.sh @@ -28,7 +28,9 @@ srcdir_github_lib="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" usage_github_cli_required="Requires GitHub CLI to be installed and configured, as well as jq" # ERE format regex -github_pull_request_url_regex='https://github.com/[[:alnum:]/_-]+/pull/[[:digit:]]+' +github_pull_request_url_regex='https://github.com/[[:alnum:]_-]+/[[:alnum:]_-]+/pull/[[:digit:]]+' +# shellcheck disable=SC2034 +github_release_url_regex='https://github.com/[[:alnum:]_-]+/[[:alnum:]_-]+/releases/download/[^/]+/' get_github_repo(){ git remote -v 2>/dev/null |