From 123c4d65735215261874248be2bddc8b88944dfa 2012-08-05 19:46:38 From: Fernando Perez Date: 2012-08-05 19:46:38 Subject: [PATCH] Merge pull request #2260 from Carreau/fix-mpr-again fix mpr again. Closes #2259. --- diff --git a/tools/git-mpr.py b/tools/git-mpr.py index da7fa18..41615e2 100755 --- a/tools/git-mpr.py +++ b/tools/git-mpr.py @@ -76,7 +76,7 @@ def main(*args): action='store_const', const=True , help='try to merge as many PR as possible, one by one') - parser.add_argument('integers', + parser.add_argument('merge', type=int, help="The pull request numbers", nargs='*',