From 4c609f0e21af22bb04675d20920d715af4637a2c Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Apr 18 2014 07:56:22 +0000
Subject: Re-generate the authorized_keys file upon update of the user's settings


---

diff --git a/progit/app.py b/progit/app.py
index 843f4c8..f0a5e3d 100644
--- a/progit/app.py
+++ b/progit/app.py
@@ -24,7 +24,8 @@ 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_key)
+                    generate_gitolite_acls, generate_gitolite_key,
+                    generate_authorized_key_file)
 
 
 ### Application
@@ -216,6 +217,7 @@ def user_settings():
                 ssh_key=ssh_key,
             )
             generate_gitolite_key(user.user, ssh_key)
+            generate_authorized_key_file()
             SESSION.commit()
             flask.flash(message)
             return flask.redirect(