branches deleted in local still show up in git hub after executing the push -all command #2268

Sanity checks

• My issue relates to a specific CLI completion spec (e.g. git checkout is missing options in git 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.