From f8505eccd563d85e1fdd3d3a2f36d027cf3526a0 Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Apr 12 2016 08:58:23 +0000
Subject: Ensure that the priority is an int before trying to update the issue


---

diff --git a/pagure/lib/__init__.py b/pagure/lib/__init__.py
index 7d7689f..beab2e6 100644
--- a/pagure/lib/__init__.py
+++ b/pagure/lib/__init__.py
@@ -1179,9 +1179,14 @@ def edit_issue(session, issue, ticketfolder, user,
     if status and status != issue.status:
         issue.status = status
         edit.append('status')
-    if priority and priority != issue.priority:
-        issue.priority = priority
-        edit.append('priority')
+    if priority:
+        try:
+            priority = int(priority)
+        except:
+            priority = None
+        if priority != issue.priority:
+            issue.priority = priority
+            edit.append('priority')
     if private in [True, False] and private != issue.private:
         issue.private = private
         edit.append('private')