contrib/github_merge: fixes unread variables

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

diff --git a/contrib/github_merge.nit b/contrib/github_merge.nit
index 0d5e052..f14b6d9 100644 (file)
--- a/contrib/github_merge.nit
+++ b/contrib/github_merge.nit
@@ -93,7 +93,7 @@ if args.length != 1 then
        var x = curl.get_and_check("https://api.github.com/repos/privat/nit/issues?labels=ok_will_merge")
        for y in x.json_as_a do
                var number = y.json_as_map["number"].as(Int)
-               var pr = curl.getpr(number)
+               curl.getpr(number)
        end
 else
        # With a arg, merge the PR