Patch availability for about 1,5 years and still not integrated... wow!
But furthermore it is really strange why this issue appeared in the first place. The initial developer(s) of the git provider must have been blind. How else can you explain that someone wanted to do a 'git pull' for switching to a branch?! As every documentation says 'git pull' is just a shortcut for 'git fetch' + 'git merge'.
From the man page:
[...] git pull runs git fetch with the given parameters and calls git merge to merge the retrieved branch heads into the current branch. [...]
Even if it worked for the developer in the first place then only by luck.