Merge pull request #20368 from chirsz-ever/chirsz/250804-short-option

cmd/update: use short option in update.sh
This commit is contained in:
Mike McQuaid 2025-08-04 15:07:03 +00:00 committed by GitHub
commit e1210ab36a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -211,9 +211,8 @@ merge_or_rebase() {
if [[ "${DIR}" == "${HOMEBREW_REPOSITORY}" && -n "${HOMEBREW_UPDATE_TO_TAG}" ]] if [[ "${DIR}" == "${HOMEBREW_REPOSITORY}" && -n "${HOMEBREW_UPDATE_TO_TAG}" ]]
then then
UPSTREAM_TAG="$( UPSTREAM_TAG="$(
git tag --list | git tag --list --sort=-version:refname |
sort --field-separator=. --key=1,1nr -k 2,2nr -k 3,3nr | grep -m 1 '^[0-9]*\.[0-9]*\.[0-9]*$'
grep --max-count=1 '^[0-9]*\.[0-9]*\.[0-9]*$'
)" )"
else else
UPSTREAM_TAG="" UPSTREAM_TAG=""