Spaces:
Sleeping
title: Text Summarization
emoji: 👀
sdk: gradio
sdk_version: 3.35.2
app_file: app.py
pinned: false
license: cc
HfLink: null
Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference
for reference to setup config main.yml -> https://huggingface.co/docs/hub/spaces-github-actions
if you hit authError 128 use-> https://github.com/huggingface/huggingface_hub/issues/534
self-note-> When comparing Git pull vs fetch, Git fetch is a safer alternative because it pulls in all the commits from your remote but doesn't make any changes to your local files. On the other hand, Git pull is faster as you're performing multiple actions in one – a better bang for your buck.
git fetch
git push -f origin main
git remote rm origin# for removing remote repo
git remote add origin [repo link] # for adding new repo as remote
git remote -v # to check your remote repo URL path