From fccd90f755e2c7a698afad3dd70e4f8585f78e0c Mon Sep 17 00:00:00 2001
From: Jeremy Kersten <jke@odoo.com>
Date: Tue, 26 Jan 2016 16:58:51 +0100
Subject: [PATCH] [IMP] runbot: keep search when we switch of repo from shorcut
 at top right

---
 runbot/runbot.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/runbot/runbot.xml b/runbot/runbot.xml
index 08d532e3..363de296 100644
--- a/runbot/runbot.xml
+++ b/runbot/runbot.xml
@@ -239,7 +239,7 @@
         <xpath expr="//t[@t-foreach=&quot;website.menu_id.child_id&quot;][@t-as=&quot;submenu&quot;]" position="replace">
             <t t-if="repos" >
                  <t t-foreach="repos[:5]" t-as="re">
-                     <li><a t-attf-href="/runbot/repo/{{slug(re)}}"><i class='fa fa-github' /> <t t-esc="re.name.split(':')[1]"/></a></li>
+                     <li><a t-attf-href="/runbot/repo/{{slug(re)}}?search={{request.params.get('search', '')}}"><i class='fa fa-github' /> <t t-esc="re.name.split(':')[1]"/></a></li>
                  </t>
             </t>
         </xpath>