2 ms·hg push -r bookmarkname does exactly what you want.by gecko 18y agohg push -r bookmarkname does exactly what you want.