From bee42de54b4e2142aef2984623546120659fde8d Mon Sep 17 00:00:00 2001
From: Nicolas Patry <patry.nicolas@protonmail.com>
Date: Wed, 27 Sep 2023 09:21:14 +0000
Subject: [PATCH] Remove git port.

---
 .github/workflows/autodocs.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.github/workflows/autodocs.yml b/.github/workflows/autodocs.yml
index 732a94b9..4520dd3c 100644
--- a/.github/workflows/autodocs.yml
+++ b/.github/workflows/autodocs.yml
@@ -1,8 +1,6 @@
 name: Automatic Documentation for Launcher
 
 on:
-  # TODO remove this before merging
-  push:
   pull_request:
 
 jobs:
@@ -15,7 +13,7 @@ jobs:
     
     - name: Install Launcher
       id: install-launcher
-      run: cargo install --git git+https://github.com/${{ github.repository }} --branch ${{ github.head_ref }} text-generation-launcher
+      run: cargo install --git https://github.com/${{ github.repository }} --branch ${{ github.head_ref }} text-generation-launcher
     
     - name: Update Docs
       run: |