Marcela Malaver
Add instructions for issues with git push
02abc5e

A newer version of the Streamlit SDK is available: 1.36.0

Upgrade
metadata
title: Streamlit First Demo
emoji: 😻
colorFrom: purple
colorTo: pink
sdk: streamlit
sdk_version: 1.30.0
app_file: app.py
pinned: false
license: mit

Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference

Steps to run locally:

python3 -m venv env # To create an env
source env/bin/activate # To activate the env
pip3 install streamlit # Only the first time
pip3 freeze > requirements.txt # To export the libraries to a file
streamlit run app.py # To run the app
deactivate # To leave the env

If you have issues with git push:

git remote get-url origin # Copy this value and then change according the next line
git remote set-url origin https://<user_name>:<token>@huggingface.co/<repo_path> # ex. git remote set-url origin https://marcela9409:valid_token@huggingface.co/spaces/marcela9409/streamlit-first-demo
git push