chore: update something
Browse files
.github/workflows/githubhfsync.yaml
CHANGED
|
@@ -20,7 +20,7 @@ jobs:
|
|
| 20 |
env:
|
| 21 |
HF_TOKEN: ${{ secrets.HF_TOKEN }}
|
| 22 |
run: |
|
| 23 |
-
if ! git push https://lamhieu:$HF_TOKEN@huggingface.co/spaces/lamhieu/docsifer main; then
|
| 24 |
echo "Failed to sync with HuggingFace Space"
|
| 25 |
exit 1
|
| 26 |
fi
|
|
|
|
| 20 |
env:
|
| 21 |
HF_TOKEN: ${{ secrets.HF_TOKEN }}
|
| 22 |
run: |
|
| 23 |
+
if ! git push https://lamhieu:$HF_TOKEN@huggingface.co/spaces/lamhieu/docsifer main -f; then
|
| 24 |
echo "Failed to sync with HuggingFace Space"
|
| 25 |
exit 1
|
| 26 |
fi
|