From 149eaf781d7f881b92f3d4855c29118723c97596 Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Oct 07 2016 07:12:03 +0000
Subject: Do not allow changing the default plugin via the UI


---

diff --git a/pagure/ui/plugins.py b/pagure/ui/plugins.py
index b6bf3b2..84e0117 100644
--- a/pagure/ui/plugins.py
+++ b/pagure/ui/plugins.py
@@ -77,6 +77,9 @@ def view_plugin(repo, plugin, username=None, namespace=None, full=True):
     if plugin in APP.config.get('DISABLED_PLUGINS', []):
         flask.abort(404, 'Plugin disabled')
 
+    if plugin == 'default':
+        flask.abort(403, 'This plugin cannot be changed')
+
     plugin = pagure.lib.plugins.get_plugin(plugin)
     fields = []
     new = True