git config --global http.proxy http://127.0.0.1:7890 git config --global https.proxy https://127.0.0.1:7890 git add . git commit -m "Add application file" git push #git remote set-url origin https://huggingface.co/spaces/M4869/WavMark