master on wrong branch after push

[schnedann]

I monitored a strange behaviour in a repository:

branch uvw/xyz
push this branch with tags to origin
after the push origin/master is no longer on the branch master but at the head of branch uvw/xyz

Of course one can move the branch pointer back to the correct position (at least with the shell commands),

but a new push of branch uvw/xyz to origin will reestablish the moved master on branch uvw/xyz

so far I have not tried to test it with other repositories...