Why does hg push not have an --update option like hg pull? Deliberately omitted for some reason, or just not added due to lack of demand? Thanks. -- David Ripton dripton at ripton.net