Remove banner on main branch

Author: mattam82

src/rocqproverorg_frontend/components/header.eml

@@ -56,19 +56,15 @@ in
 <header
   class="fixed top-0 z-50 w-full h-20 flex items-center flex-wrap"
   x-data="{ open: false }">  
+  <% if git_branch <> "main" then (%>
   <div id="alert-border-2" class="bg-primary_25 border-secondary border-t-4 bottom-0 dark:bg-dark-card fixed flex items-center justify-center p-4 text-center tracking-wide w-full" role="alert">
     <svg class="flex-shrink-0 w-4 h-4" aria-hidden="true" xmlns="http://www.w3.org/2000/svg" fill="currentColor" viewBox="0 0 20 20">
       <path d="M10 .5a9.5 9.5 0 1 0 9.5 9.5A9.51 9.51 0 0 0 10 .5ZM9.5 4a1.5 1.5 0 1 1 0 3 1.5 1.5 0 0 1 0-3ZM12 15H8a1 1 0 0 1 0-2h1v-3H8a1 1 0 0 1 0-2h2a1 1 0 0 1 1 1v4h1a1 1 0 0 1 0 2Z"/>
     </svg>
     <div class="ms-3 text-sm font-medium">
-      <% if git_branch <> "main" then (%>
         You are viewing the <a class="font-semibold underline hover:no-underline" href="https://github.com/coq/rocq-prover.org/tree/<%s git_branch %>"><%s git_branch %> branch</a> of the website @
         <a class="font-semibold underline hover:no-underline" href="https://github.com/coq/rocq-prover.org/commit/<%s git_commit %>"><%s git_short_commit %></a>,
         not the <a class="font-semibold underline hover:no-underline" href="https://rocq-prover.org">live version</a>.
-      <% ) else ( %>
-        ⚠️ Under construction ⚠️ This website will be officialy launched with the first release of Rocq 9.0 in March 2025.
-        Until then, there may remain broken links and references to not-yet existing projects.
-      <% ); %>
     </div>
     <button type="button" class="ms-3 -mx-1.5 -my-1.5 bg-red-50 text-red-500 rounded-lg focus:ring-2 focus:ring-red-400 p-1.5 hover:bg-red-200 inline-flex items-center justify-center h-8 w-8 dark:bg-gray-800 dark:text-red-400 dark:hover:bg-gray-700"  data-dismiss-target="#alert-border-2" aria-label="Close">
       <span class="sr-only">Dismiss</span>
@@ -77,6 +73,7 @@ in
       </svg>
     </button>
   </div>
+  <% ); %>
   <script src="https://unpkg.com/[email protected]/dist/flowbite.js"></script>
   <nav class="bg-background container-fluid dark:bg-dark-background_navigation flex gap-5 h-20 header items-center justify-between rounded-b-lg shadow-sm wide xl:gap-8">
     <ul class="order-0 space space-x-5 xl:space-x-8 items-center flex text-content font-medium dark:text-title dark:text-opacity-60 dark:font-semibold">