I have uploaded (pushed the entire local branch) to the remote repo. I have merged it with master and deleted it in the remote repo (on github.com)
Running git branch -a
still shows it in the console:
$ git branch -a
* master
remotes/hivauz/master
remotes/hivauz/new_local_branch
What's the reason, does github need time to update it?