Update start_server.sh
Browse files- start_server.sh +3 -2
start_server.sh
CHANGED
|
@@ -21,8 +21,9 @@ if [[ ! -z "$REPO" ]]; then
|
|
| 21 |
echo start to clone initial repo $REPO into $dir
|
| 22 |
git clone --progress $REPO $dir
|
| 23 |
cd $dir
|
| 24 |
-
git config --global user.name "$(git log -1 --pretty=format:'%an')"
|
| 25 |
-
git config --global user.email "$(git log -1 --pretty=format:'%ae')"
|
|
|
|
| 26 |
fi
|
| 27 |
[[ -z $(git config --global user.name) ]] && git config --global user.name "$SPACE_AUTHOR_NAME"
|
| 28 |
[[ -z $(git config --global user.email) ]] && git config --global user.email "$SPACE_AUTHOR_NAME@hf.co"
|
|
|
|
| 21 |
echo start to clone initial repo $REPO into $dir
|
| 22 |
git clone --progress $REPO $dir
|
| 23 |
cd $dir
|
| 24 |
+
[[ -z $(git config user.name) ]] && git config --global user.name "$(git log -1 --pretty=format:'%an')"
|
| 25 |
+
[[ -z $(git config user.email) ]] && git config --global user.email "$(git log -1 --pretty=format:'%ae')"
|
| 26 |
+
cd ..
|
| 27 |
fi
|
| 28 |
[[ -z $(git config --global user.name) ]] && git config --global user.name "$SPACE_AUTHOR_NAME"
|
| 29 |
[[ -z $(git config --global user.email) ]] && git config --global user.email "$SPACE_AUTHOR_NAME@hf.co"
|