From cf2ef5bba7bf61616951777e0d54d6c7c9a15af5 Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Feb 27 2015 14:08:46 +0000
Subject: Fix removing an entry from the junction table users_projects


---

diff --git a/progit/ui/repo.py b/progit/ui/repo.py
index b4c5dd4..175fe4a 100644
--- a/progit/ui/repo.py
+++ b/progit/ui/repo.py
@@ -738,7 +738,7 @@ def remove_user(repo, userid, username=None):
 
     for user in repo.users:
         if str(user.id) == str(userid):
-            SESSION.delete(user)
+            repo.users.remove(user)
             break
     try:
         SESSION.commit()