Update start_server.sh
Browse files- start_server.sh +5 -0
start_server.sh
CHANGED
|
@@ -19,6 +19,11 @@ set +e
|
|
| 19 |
if [[ ! -z "$REPO" ]]; then
|
| 20 |
echo start to clone initial repo $repo
|
| 21 |
git clone --progress $REPO
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 22 |
fi
|
| 23 |
|
| 24 |
git config --global http.postBuffer 524288000
|
|
|
|
| 19 |
if [[ ! -z "$REPO" ]]; then
|
| 20 |
echo start to clone initial repo $repo
|
| 21 |
git clone --progress $REPO
|
| 22 |
+
git config --global user.name "$(git log -1 --pretty=format:'%an')"
|
| 23 |
+
git config --global user.email "$(git log -1 --pretty=format:'%ae')"
|
| 24 |
+
else
|
| 25 |
+
git config --global user.name "$SPACE_AUTHOR_NAME"
|
| 26 |
+
git config --global user.email "$SPACE_AUTHOR_NAME@hf.co"
|
| 27 |
fi
|
| 28 |
|
| 29 |
git config --global http.postBuffer 524288000
|