From 0bd55b97f03ad98efce42a52f0994ecc31731cfe Mon Sep 17 00:00:00 2001
From: Ricky Elrod <ricky@elrod.me>
Date: Aug 14 2015 20:06:32 +0000
Subject: Fix a type error in JSON output for users


Signed-off-by: Ricky Elrod <ricky@elrod.me>

---

diff --git a/pagure/lib/__init__.py b/pagure/lib/__init__.py
index c528997..8dc5b93 100644
--- a/pagure/lib/__init__.py
+++ b/pagure/lib/__init__.py
@@ -1073,7 +1073,12 @@ def update_project_settings(session, repo, settings, user):
             if new_settings[key] != settings[key]:
                 update.append(key)
                 if key == 'Minimum_score_to_merge_pull-request':
-                    settings[key] = settings[key] or -1
+                    try:
+                        settings[key] = int(settings[key]) or -1
+                    except ValueError:
+                        raise pagure.exceptions.PagureException(
+                            "Please enter a numeric value for the 'minimum "
+                            "score to merge pull request' field.")
                 elif key == 'Web-hooks':
                     settings[key] = settings[key] or None
                 new_settings[key] = settings[key]