First time user: Repository not found

Hey everyone. I am trying to push my first code through Gradio.

$: git remote set-url origin https://<user_name>:<token><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!