From 92c4619ea3352d23b69e4c777666bd2ce1957c45 Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Apr 17 2014 14:28:25 +0000
Subject: After updating public ssh keys, update them on the filesystem as well


---

diff --git a/progit/app.py b/progit/app.py
index 990f94c..d51fe60 100644
--- a/progit/app.py
+++ b/progit/app.py
@@ -24,7 +24,7 @@ import progit.exceptions
 import progit.lib
 import progit.forms
 from progit import (APP, SESSION, LOG, __get_file_in_tree, cla_required,
-                    generate_gitolite_acls)
+                    generate_gitolite_acls, generate_gitolite_key)
 
 
 ### Application
@@ -215,6 +215,7 @@ def user_settings():
                 user=user,
                 ssh_key=ssh_key,
             )
+            generate_gitolite_key(user.username, ssh_key)
             SESSION.commit()
             flask.flash(message)
             return flask.redirect(