Tag default/master not updated after pull and push
The default/master tag should point to the head of the master branch of the default remote repository.
However, if one adds commit on master and push, the default/master tag is not updated and is still on an old commit.
In this situation
hg pull displays
no changes found and the default/master tag is still on the old commit.