On my remote Git repository, one user pushed a branch in all upper-case: origin/INTEGRATION. I pushed my local branch to origin/integration. In Source-tree, only origin/integration is visible.

> git ls-remote

shows both branches.

shouldn't SourceTree show all the branches in the repository?

If not, could SourceTree detect branches that only differs by case and handle that situation in a more user friendly way; it could inform the user about the situation (warning that there's a naming collision) and offer an option to rename/delete one of the branches?