After the branch creation, Git repository has following branches:
% git branch -l -r
origin/HEAD -> origin/master
origin/develop/master
origin/master
You can see `master' and `develop/master' have duplicate sub name.
I specified `master' branch to poll changes (and not specify develop/master).

I notice that following command outputs two lines. This behavior might be a hint.
% git ls-remote repo.git master
f51fe2b0cb10c3187bad89af860a3a365623db35 refs/heads/develop/master
7216584eec594056800ba76840b0508b0d7453a2 refs/heads/master