mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-11-24 08:32:02 +00:00
Add progress log
This commit is contained in:
parent
fc8a8ae241
commit
17530a6e75
@ -18,7 +18,6 @@ then
|
|||||||
echo Some commits will be missed, review these manually.
|
echo Some commits will be missed, review these manually.
|
||||||
fi
|
fi
|
||||||
|
|
||||||
# NOTE keep in sync with ./backport.sh.
|
|
||||||
# Search for PR numbers in commit messages. First variant is normal merge, and second
|
# Search for PR numbers in commit messages. First variant is normal merge, and second
|
||||||
# variant is squashed. Next are some backport message variants.
|
# variant is squashed. Next are some backport message variants.
|
||||||
find_prs=(sed -n "s/^.*merg[eding]*.*#\([[:digit:]]\+\).*$/\1/Ip;
|
find_prs=(sed -n "s/^.*merg[eding]*.*#\([[:digit:]]\+\).*$/\1/Ip;
|
||||||
@ -39,6 +38,8 @@ function github_download()
|
|||||||
local file=${2}
|
local file=${2}
|
||||||
if ! [ -f "$file" ]
|
if ! [ -f "$file" ]
|
||||||
then
|
then
|
||||||
|
echo "curl -u \"$GITHUB_USER:***\" -sSf \"$url\" > \"$file\""
|
||||||
|
|
||||||
if ! curl -u "$GITHUB_USER:$GITHUB_TOKEN" \
|
if ! curl -u "$GITHUB_USER:$GITHUB_TOKEN" \
|
||||||
-sSf "$url" \
|
-sSf "$url" \
|
||||||
> "$file"
|
> "$file"
|
||||||
|
Loading…
Reference in New Issue
Block a user