# First time user: Repository not found

**URL:** <https://discuss.huggingface.co/t/first-time-user-repository-not-found/64033>\
**Category:** Beginners\
**Created:** [November 29, 2023, 7:21pm UTC](https://discuss.huggingface.co/t/first-time-user-repository-not-found/64033 "2023-11-29T19:21:21Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![Krebsey](https://avatars.discourse-cdn.com/v4/letter/k/e47774/32.png) [@Krebsey](https://discuss.huggingface.co/u/Krebsey)\
**Post date:** [November 29, 2023, 7:21pm UTC](https://discuss.huggingface.co/t/first-time-user-repository-not-found/64033/1 "2023-11-29T19:21:21Z")

</div>

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

```auto
$: 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](https://huggingface.co/spaces/Krebsey/Practice1/)

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!