githelp: format with %d if an integer

Python 3 doesn't allow us to format an int with %s like Python 2
did. So handle that.

Differential Revision: https://phab.mercurial-scm.org/D5726

hgext/githelp.py

@@ -121,7 +121,12 b' class Command(object):'
             for k, values in sorted(self.opts.iteritems()):
                 for v in values:
                     if v:
-                        cmd += " %s %s" % (k, v)
+                        if isinstance(v, int):
+                            fmt = ' %s %d'
+                        else:
+                            fmt = ' %s %s'
+
+                        cmd += fmt % (k, v)
                     else:
                         cmd += " %s" % (k,)
         if self.args: