Update public/index.html

public/index.html

@@ -509,7 +509,7 @@ body {
       <ul class="portfolio-filters isotope-filters" data-aos="fade-up" data-aos-delay="100">
         <li data-filter=".filter-publikationen" class="filter-active">Publikationen</li>
         <li data-filter=".filter-workshops">Workshops & Events</li>
-        <li data-filter=".filter-repo">GitLab- & Berichte-Repositories </li>
+        <li data-filter=".filter-repo">Repositories </li>
         <li data-filter=".filter-ergebnisse">Verwendung der Ergebnisse</li>
        <!-- <li data-filter=".filter-prototypen">Prototypen & Tools</li>
         <li data-filter=".filter-videos">Videos & Tutorials</li>-->