branches deleted in local still show up in git hub after executing the push -all command
vijay-koyana opened this issue · 0 comments
vijay-koyana commented
Sanity checks
- My issue relates to a specific CLI completion spec (e.g.
git checkout
is missing options ingit
completion spec). If your issue is more general, please create your issue here: withfig/fig - I have searched github.com/withfig/autocomplete/issues and there are no duplicates of my issue
- I would like to work on this.
What CLI tool does this relate to?
git
Which statement makes the most sense?
Something else
Issue Details
i have a branch in my Git hub.
I deleted the branch using git branch -d
then git push
now i am refreshing on the github page. the branch i deleted still exists.