Update index.html

cora-research · Jun 23, 2024 · eba3be8 · eba3be8
1 parent 02c3a11
commit eba3be8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/index.html b/index.html
@@ -24,7 +24,7 @@
                 </ul>
             </nav>
             <div class="github-link">
-                <a href="https://github.com/cora-project" target="_blank" title="GitHub Repository">
+                <a href="https://github.com/cora-research" target="_blank" title="GitHub Repository">
                     <svg height="32" viewBox="0 0 16 16" version="1.1" width="32" aria-hidden="true">
                         <path fill-rule="evenodd" fill="#333" d="M8 0C3.58 0 0 3.58 0 8c0 3.54 2.29 6.54 5.47 7.59.4.07.55-.17.55-.38 0-.19-.01-.82-.01-1.49-2.01.37-2.53-.49-2.69-.94-.09-.23-.48-.94-.82-1.13-.28-.15-.68-.52-.01-.53.63-.01 1.08.58 1.23.82.72 1.21 1.87.87 2.33.66.07-.52.28-.87.51-1.07-1.78-.2-3.64-.89-3.64-3.95 0-.87.31-1.59.82-2.15-.08-.2-.36-1.01.08-2.1 0 0 .67-.21 2.2.82a7.545 7.545 0 012 0c1.53-1.03 2.2-.82 2.2-.82.44 1.09.16 1.9.08 2.1.51.56.82 1.27.82 2.15 0 3.07-1.87 3.75-3.64 3.95.29.25.54.73.54 1.48 0 1.07-.01 1.93-.01 2.2 0 .21.15.46.55.38A8.013 8.013 0 0016 8c0-4.42-3.58-8-8-8z"></path>
                     </svg>