hgext/patchbomb.py
changeset 36410 67ec4ad815e6
parent 36204 33ed8b511185
child 36435 f449138a52df
equal deleted inserted replaced
36409:72da480db4a5 36410:67ec4ad815e6
   652                     msg = _('public "%s" is missing %s and %i others')
   652                     msg = _('public "%s" is missing %s and %i others')
   653                     msg %= (publicurl, missing[0], len(missing) - 1)
   653                     msg %= (publicurl, missing[0], len(missing) - 1)
   654                 else:
   654                 else:
   655                     msg = _('public url %s is missing %s')
   655                     msg = _('public url %s is missing %s')
   656                     msg %= (publicurl, missing[0])
   656                     msg %= (publicurl, missing[0])
       
   657                 missingrevs = [ctx.rev() for ctx in missing]
   657                 revhint = ' '.join('-r %s' % h
   658                 revhint = ' '.join('-r %s' % h
   658                                   for h in repo.set('heads(%ld)', missing))
   659                                    for h in repo.set('heads(%ld)', missingrevs))
   659                 hint = _("use 'hg push %s %s'") % (publicurl, revhint)
   660                 hint = _("use 'hg push %s %s'") % (publicurl, revhint)
   660                 raise error.Abort(msg, hint=hint)
   661                 raise error.Abort(msg, hint=hint)
   661 
   662 
   662     # start
   663     # start
   663     if date:
   664     if date: