py3: use '%d' for integers instead of '%s'

py3: use '%d' for integers instead of '%s'

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

--- a/hgext/convert/monotone.py	Sat Oct 13 04:47:51 2018 +0300
+++ b/hgext/convert/monotone.py	Sat Oct 13 04:51:09 2018 +0300
@@ -102,7 +102,7 @@
 
         command.append('l')
         for arg in args:
-            command += "%s:%s" % (len(arg), arg)
+            command += "%d:%s" % (len(arg), arg)
         command.append('e')
         command = ''.join(command)