From 123c2d36f18a22ddc5103eca8b5bbb7aff9a3872 Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Apr 12 2016 08:58:22 +0000
Subject: Allow adjusting the priority when editing an issue


---

diff --git a/pagure/lib/__init__.py b/pagure/lib/__init__.py
index a680848..c319cea 100644
--- a/pagure/lib/__init__.py
+++ b/pagure/lib/__init__.py
@@ -1156,7 +1156,8 @@ def new_pull_request(session, branch_from,
 
 
 def edit_issue(session, issue, ticketfolder, user,
-               title=None, content=None, status=None, private=False):
+               title=None, content=None, status=None,
+               priority=None, private=False):
     ''' Edit the specified issue.
     '''
     user_obj = __get_user(session, user)
@@ -1178,6 +1179,9 @@ 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 private in [True, False] and private != issue.private:
         issue.private = private
         edit.append('private')