Mainly when I've merged a pull request on github, didn't pull to mercurial, then did some branching in mercurial. Eventually have always managed to sort it out,

Mainly when I've merged a pull request on github, didn't pull to mercurial, then did some branching in mercurial. Eventually have always managed to sort it out, but sometimes requires a bit of push/pull fiddling. Now you mention it my git tags are out of date...