mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-09-20 00:30:49 +00:00
Maybe GitHub API has changed
This commit is contained in:
parent
09975e1831
commit
14d92edf96
@ -39,7 +39,7 @@ function github_download()
|
|||||||
local file=${2}
|
local file=${2}
|
||||||
if ! [ -f "$file" ]
|
if ! [ -f "$file" ]
|
||||||
then
|
then
|
||||||
if ! curl -H "Authorization: token $GITHUB_TOKEN" \
|
if ! curl -u "$GITHUB_USER:$GITHUB_TOKEN" \
|
||||||
-sSf "$url" \
|
-sSf "$url" \
|
||||||
> "$file"
|
> "$file"
|
||||||
then
|
then
|
||||||
|
Loading…
Reference in New Issue
Block a user