From c071a9542d47b82735f9339b41d4de2e1ae39f21 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Thu, 25 Aug 2016 20:20:29 -0400 Subject: [PATCH] github_merge: accept more than one argument Signed-off-by: Jean Privat --- contrib/github_merge.nit | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/contrib/github_merge.nit b/contrib/github_merge.nit index 52afa49..a1971fd 100644 --- a/contrib/github_merge.nit +++ b/contrib/github_merge.nit @@ -92,16 +92,19 @@ end var curl = new GithubCurl(auth, "Merge-o-matic (nitlang/nit)") -if args.length != 1 then +if args.is_empty then # Without args, list `ok_will_merge` var x = curl.get_and_check("https://api.github.com/repos/nitlang/nit/issues?labels=ok_will_merge") for y in x.json_as_a do var number = y.json_as_map["number"].as(Int) curl.getpr(number) end -else + return +end + +for arg in args do # With a arg, merge the PR - var number = args.first.to_i + var number = arg.to_i var pr = curl.getpr(number) var revs = curl.getrev(pr) -- 1.7.9.5