I am using a git repository with lots of remote branches but only a few local ones. When I click "Push" on the toolbar, I expect only my few local branches to be listed in the "Local branch" column. However, it also lists all of the remote branches, complete with "origin/" prefix. This seems wrong to me since these are not local branches, so they can't be pushed.