Hey everyone. I am trying to push my first code through Gradio.
$: git remote set-url origin https://<user_name>:<token>@huggingface.co/<repo_path>
$: git pull origin
I am using this as my repo path: Practice1 - a Hugging Face Space by Krebsey
It is not working, and I am not sure if the issue is with the repo path or if my practice1 file repository has not been created yet.
Thanks for the help!