Message3270

Author mpm
Recipients ThomasAH, alexis, bos, brendan, dduvall, eydaimon, junkblocker, kupfer, tonfa
Date 2007-06-22.23:10:16
Content
Setting this to resolved. The new 'hg id' features make this easy:

REMOTETIP=`hg id default`
hg id -r `hg id default` || echo "incoming!"

This checks whether the remote tip is present locally.
History
Date User Action Args
2007-06-22 23:10:16mpmsetmessageid: <1182553816.52.0.724871842989.issue186@selenic.com>
2007-06-22 23:10:16mpmsetrecipients: + bos, ThomasAH, tonfa, brendan, alexis, junkblocker, kupfer, dduvall, eydaimon
2007-06-22 23:10:16mpmlinkissue186 messages
2007-06-22 23:10:16mpmcreate