Update index.html

fixed the repo name

Signed-off-by: Christopher <41389677+Zenif-NIght@users.noreply.github.com>

Author: Zenif-NIght

index.html

@@ -80,7 +80,7 @@ <h1 class="title is-1 publication-title">Realistic Heterogeneous Multi-Agent RL
                             </a>
                         </span>
                         <span class="link-block">
-                            <a href="https://github.com/some45bucks/IsaacLab" class="external-link button is-normal is-rounded is-dark">
+                            <a href="https://github.com/some45bucks/IsaacLab_HARL" class="external-link button is-normal is-rounded is-dark">
                                 <span class="icon"><i class="fab fa-github"></i></span>
                                 <span>Code</span>
                             </a>